Results for 'Lawrence Wos'

1000+ found
Order:
  1.  3
    The Unit Preference Strategy in Theorem Proving.Lawrence Wos, Daniel Carson & George Robinson - 1967 - Journal of Symbolic Logic 32 (1):117-117.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  9
    Efficiency and Completeness of the Set of Support Strategy in Theorem Proving.Lawrence Wos, George A. Robinson & Daniel F. Carson - 1967 - Journal of Symbolic Logic 32 (1):117-118.
  3.  19
    James R. Slagle. Automatic theorem proving with renamable and semantic resolution. Journal of the Association for Computing Machinery, vol. 14 , pp. 687–697. [REVIEW]Lawrence T. Wos - 1970 - Journal of Symbolic Logic 35 (4):595-596.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  10
    Review: James R. Slagle, Automatic Theorem Proving with Renamable and Semantic Resolution. [REVIEW]Lawrence T. Wos - 1970 - Journal of Symbolic Logic 35 (4):595-596.
  5.  19
    Lawrence Wos, Daniel Carson, and George Robinson. The unit preference strategy in theorem proving. AFIPS conference proceedings, Volume 26, 1964 Fall Joint Computer Conference, Spartan Books, Inc., Baltimore, Md., and Cleaver-Hume Press, London, 1964, pp. 615–621. [REVIEW]David Luckham - 1967 - Journal of Symbolic Logic 32 (1):117.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  7
    Lawrence Wos, George A. Robinson, and Daniel F. Carson. Efficiency and completeness of the set of support strategy in theorem proving. Journal of the Association for Computing Machinery, vol. 12 , pp. 536–541. [REVIEW]David Luckham - 1967 - Journal of Symbolic Logic 32 (1):117-118.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7. Review: Lawrence Wos, George A. Robinson, Daniel F. Carson, Efficiency and Completeness of the Set of Support Strategy in Theorem Proving. [REVIEW]David Luckham - 1967 - Journal of Symbolic Logic 32 (1):117-118.
  8. Review: Lawrence Wos, Daniel Carson, George Robinson, The Unit Preference Strategy in Theorem Proving. [REVIEW]David Luckham - 1967 - Journal of Symbolic Logic 32 (1):117-117.
  9. Consciousness and commentaries.Lawrence Weiskrantz - 1998 - In Stuart R. Hameroff, Alfred W. Kaszniak & Alwyn Scott (eds.), Toward a Science of Consciousness II: The Second Tucson Discussions and Debates. MIT Press.
     
    Export citation  
     
    Bookmark   14 citations  
  10.  33
    Frontiers of consciousness.Lawrence Weiskrantz & Martin Davies (eds.) - 2008 - New York: Oxford University Press.
    In recent years consciousness has become a significant area of study in the cognitive sciences. The Frontiers of Consciousness is a major interdisciplinary exploration of consciousness. The book stems from the Chichele lectures held at All Souls College in Oxford, and features contributions from a 'who's who' of authorities from both philosophy and psychology. The result is a truly interdisciplinary volume, which tackles some of the biggest and most impenetrable problems in consciousness. The book includes chapters considering the apparent explanatory (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  11. Solidarity, Justice and the Postnational Constellation: Habermas and Beyond.Lawrence Wilde - 2013 - In Burns Tony & Thompson Simon (eds.), Global Justice and the Politics of Recognition. Palgrave.
  12.  6
    Pisarze awangardy dwudziestolecia międzywojennego: autokomentarze: Leśmian--Witkacy--Schulz--Gombrowicz.Tomasz Wójcik (ed.) - 1995 - Warszawa: Wydawn. Nauk. Semper.
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  7
    Chosŏn hugi sirhak ŭi saengsŏng, palchŏn yŏnʼgu.Yu-han Wŏn - 2003 - Sŏul-si: Hyean.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  5
    Karl Poppers "The Open Universe" und der Indeterminismus: eine Kritik.Alexander Wörner - 2003 - Hamburg: Kovač.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  15
    Im Namen der Dinge: John Locke und der Begriff des Wesens.David Wörner - 2019 - Basel: Schwabe Verlag.
    In this monograph I propose to interpret John Locke's view of central metaphysical notions such as substance, essence and identity to the backdrop of his distinction between distinct and confused ideas. I show that Locke draws this traditional distinction in a novel way—as a distinction pertaining only to the way ideas are related to our use of language. This distinction, I argue, allows him to radically rethink traditional questions of metaphysics and to mount a linguistic criticism of traditional metaphysical views (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  9
    Theologie und Wissenschaft bei Petrus Aureoli: ein scholastischer Entwurf aus dem frühen 14. Jahrhundert.Florian Wöller - 2015 - Boston: Brill.
    In Theologie und Wissenschaft bei Petrus Aureoli, Florian Wöller offers an account of the theories of science and of theology as they emerge from Peter Auriol's (c. 1280-1322) commentaries on the Sentences.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  7
    Jan z Kluczborka: filozof i teolog Uniwersytetu Krakowskiego.Kazimierz Wójcik - 1995 - Lublin: Red. Wydawnictw Katolickiego Uniwersytetu Lubelskiego.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  5
    Lof van de politiek.Thijs Wöltgens - 1993 - Amsterdam: Prometheus.
    Pleidooi vooor eerherstel van de politiek, door de PvdA-fractieleider.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  3
    Ren shi Zhongguo yi shu zhi mei.Wo Yu - 1993 - Taibei Shi: Guo jia chu ban she.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  38
    Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains.L. Wos, S. Winker, R. Veroff, B. Smith & L. Henschen - 1983 - Notre Dame Journal of Formal Logic 24 (2):205-223.
  21.  21
    Category judgments of loudness in the absence of an experimenter-induced identification function: Sequential effects and power-function fit.Lawrence M. Ward - 1972 - Journal of Experimental Psychology 94 (2):179.
  22.  23
    Sequential effects and memory in category judgments.Lawrence M. Ward & G. R. Lockhead - 1970 - Journal of Experimental Psychology 84 (1):27.
  23.  50
    Social Theory and Social Structure.Lawrence Haworth - 1961 - British Journal for the Philosophy of Science 11 (44):345-346.
  24.  20
    The effect of optically induced blur on the magnitude of the Mueller-Lyer illusion.Lawrence M. Ward & Stanley Coren - 1976 - Bulletin of the Psychonomic Society 7 (5):483-484.
  25. Lawrence Lacambra Ypil Poems.Lawrence Lacambra Ypil - 2008 - Budhi: A Journal of Ideas and Culture 12 (2).
    No categories
     
    Export citation  
     
    Bookmark  
  26.  81
    The thalamic dynamic core theory of conscious experience.Lawrence M. Ward - 2011 - Consciousness and Cognition 20 (2):464-486.
    I propose that primary conscious awareness arises from synchronized activity in dendrites of neurons in dorsal thalamic nuclei, mediated particularly by inhibitory interactions with thalamic reticular neurons. In support, I offer four evidential pillars: consciousness is restricted to the results of cortical computations; thalamus is the common locus of action of brain injury in vegetative state and of general anesthetics; the anatomy and physiology of the thalamus imply a central role in consciousness; neural synchronization is a neural correlate of consciousness.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  27.  24
    Social Theory and Social Structure.Lawrence Haworth - 1959 - Philosophy of Science 26 (1):53-53.
  28.  96
    Trends in Memory Development Research.Lawrence Kohlberg, Charles G. Levine & Alexandra Hewer - 1983 - S Karger.
    Direct download  
     
    Export citation  
     
    Bookmark   108 citations  
  29.  9
    Developing and Validating the English Teachers’ Cognitions About Grammar Teaching Questionnaire (TCAGTQ) to Uncover Teacher Thinking.Lawrence Jun Zhang & Qiang Sun - 2022 - Frontiers in Psychology 13.
    It is well-acknowledged that teachers play a significant role in enhancing student learning and that investigating teachers’ cognitions about teaching is a first and important step to understanding the phenomenon. Although much research into teachers’ cognitions about grammar teaching has been conducted in various socio-cultural contexts, little has been reported on cognitions of Chinese teachers of English as a foreign language so far. Such understanding is of primary importance to student success in language learning given the sociocultural context where grammar (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  39
    The fragile "we": ethical implications of Heidegger's Being and Time.Lawrence Vogel - 1994 - Evanston, Ill.: Northwestern University Press.
    Introduction: Fundamental Ontology as a "Fundamental Ethics" In his "Letter on Humanism" Martin Heidegger claims that the fundamental ontology he works out ...
    Direct download  
     
    Export citation  
     
    Bookmark   17 citations  
  31.  15
    Achieving across-laboratory replicability in psychophysical scaling.Lawrence M. Ward, Michael Baumann, Graeme Moffat, Larry E. Roberts, Shuji Mori, Matthew Rutledge-Taylor & Robert L. West - 2015 - Frontiers in Psychology 6.
  32.  15
    The Fragile "We": Ethical Implications of Heidegger's Being and Time.Lawrence Vogel - 1994 - Evanston, Ill.: Northwestern University Press.
    Critics have charged that Heidegger's account of authenticity is morally nihilistic, that his fundamental ontology is either egocentric or chauvinistic; and many see Heidegger's turn to Nazism in 1933 as following logically from an indifference, and even hostility, to "otherness" in the premises of his early philosophy. In_ The Fragile "We": Ethical Implications of Heidegger's "Being and Time,"_ Lawrence Vogel presents three interpretations of authentic existence--the existentialist, the historicist, and the cosmopolitan--each of which is a plausible version of the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  33. Tongyanghak irŏkʻe handa: chʻŏrhakchŏk minjokchuŭi.Wŏn-jŏn An - 1989 - Sŏul-si: Taewŏn Chʻulpʻansa.
     
    Export citation  
     
    Bookmark  
  34.  84
    Medical futility: its meaning and ethical implications.Lawrence J. Schneiderman, Nancy S. Jecker & Albert R. Jonsen - forthcoming - Bioethics.
    Direct download  
     
    Export citation  
     
    Bookmark   95 citations  
  35. Chuja ŏllon tongi ko.Wŏn-jin Han - 1741 - [Seoul]: Sŏul Taehakkyo Kyujanggak Han'gukhak Yŏn'guwŏn.
     
    Export citation  
     
    Bookmark  
  36. Hanʼguk ŭi sirhak sasang.Hyŏng-wŏn Yu & Man-gil Kang (eds.) - 1981 - Sŏul Tʻŭkpyŏlsi: Samsŏng Chʻulpʻansa.
     
    Export citation  
     
    Bookmark  
  37. Hanʼguk ŭi sirhak sasang.Hyŏng-wŏn Yu, Ik Yi, Man-gil Kang & Tong-Hwan Yi (eds.) - 1981 - Sŏul Tʻŭkpyŏlsi: Samsŏng Chʻulpʻansa.
     
    Export citation  
     
    Bookmark  
  38.  45
    Coalgebraic logic.Lawrence S. Moss - 1999 - Annals of Pure and Applied Logic 96 (1-3):277-317.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  39.  6
    Model władzy państwowej Marsyliusza z Padwy.Andrzej Wójtowicz - 1977 - Katowice: UŚ.
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  43
    Finite models constructed from canonical formulas.Lawrence S. Moss - 2007 - Journal of Philosophical Logic 36 (6):605 - 640.
    This paper obtains the weak completeness and decidability results for standard systems of modal logic using models built from formulas themselves. This line of work began with Fine (Notre Dame J. Form. Log. 16:229-237, 1975). There are two ways in which our work advances on that paper: First, the definition of our models is mainly based on the relation Kozen and Parikh used in their proof of the completeness of PDL, see (Theor. Comp. Sci. 113-118, 1981). The point is to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  41.  6
    A Health Insurance Tax Credit for Uninsured Workers.Lawrence Zelenak - 2001 - Inquiry: The Journal of Health Care Organization, Provision, and Financing 38 (2):106-120.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  42.  22
    A theory of loudness and loudness judgments.Lawrence E. Marks - 1979 - Psychological Review 86 (3):256-285.
  43.  16
    Response to Commentators on “Clash of Definitions: Controversies about Conscience in Medicine”.Ryan E. Lawrence - 2007 - American Journal of Bioethics 7 (12):W1-W2.
    Direct download  
     
    Export citation  
     
    Bookmark   18 citations  
  44.  2
    L'humanité de l'homme négro-africain: approche préhistorique philosophico-anthropologique et humaniste senghorienne.Emmanuel Biangany Gomanu Tamp'Wo - 2007 - Kinshasa: Éditions Universitaires Logos.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  37
    Syllogistic Logic with Cardinality Comparisons, on Infinite Sets.Lawrence S. Moss & Selçuk Topal - 2020 - Review of Symbolic Logic 13 (1):1-22.
    This article enlarges classical syllogistic logic with assertions having to do with comparisons between the sizes of sets. So it concerns a logical system whose sentences are of the following forms: Allxareyand Somexarey, There are at least as manyxasy, and There are morexthany. Herexandyrange over subsets (not elements) of a giveninfiniteset. Moreover,xandymay appear complemented (i.e., as$\bar{x}$and$\bar{y}$), with the natural meaning. We formulate a logic for our language that is based on the classical syllogistic. The main result is a soundness/completeness theorem. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  46.  3
    Die Wesenslogik in Hegels "Wissenschaft der Logik": Versuch Einer Rekonstruktion Und Kritik Unter Besonderer Berücksichtigung der Philosophischen Tradition.Gerhard Martin Wölfle - 1994 - Stuttgart-Bad Cannstatt: Frommann-Holzboog.
    "Die vorliegende Arbeit wurde im Jahre 1991 von der Philosophischen Fakulteat der Universiteat Teubingen als Dissertation angenommen"--P. 11.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  47. The Ethics of Belief, Cognition, and Climate Change Pseudoskepticism: Implications for Public Discourse.Lawrence Torcello - 2016 - Topics in Cognitive Science 8 (1):19-48.
    The relationship between knowledge, belief, and ethics is an inaugural theme in philosophy; more recently, under the title “ethics of belief” philosophers have worked to develop the appropriate methodology for studying the nexus of epistemology, ethics, and psychology. The title “ethics of belief” comes from a 19th-century paper written by British philosopher and mathematician W.K. Clifford. Clifford argues that we are morally responsible for our beliefs because each belief that we form creates the cognitive circumstances for related beliefs to follow, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  48.  31
    Events: A Metaphysical Study.Lawrence Brian Lombard - 1986 - Boston: Routledge.
    Originally published in 1986. The theory of events presented is one that construes events to be concrete particulars; and it embodies an attempt to take seriously the idea that events are the changes that objects undergo when they change. The theory is about what an event really is, about when events are identical, about what properties events have essentially, and about what relations events bear to entities of other kinds. In addition, this book contains an account of what philosophers are (...)
  49.  7
    Lectures on propositional calculi.Ryszard Wójcicki - 1984 - Ossolineum [Poland]: Pub. House of the Polish Academy of Sciences.
  50.  20
    Spatial differential and integral operations in human vision: Implications of stabilized retinal image fading.Lawrence E. Arend - 1973 - Psychological Review 80 (5):374-395.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   27 citations  
1 — 50 / 1000