- Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.details
|
|
Alonzo church:his life, his work and some of his miracles.Maía Manzano - 1997 - History and Philosophy of Logic 18 (4):211-232.details
|
|
The compactness of first-order logic:from gödel to lindström.John W. Dawson - 1993 - History and Philosophy of Logic 14 (1):15-37.details
|
|
Domains of Sciences, Universes of Discourse and Omega Arguments.Jose M. Saguillo - 1999 - History and Philosophy of Logic 20 (3-4):267-290.details
|
|
Completeness and Categoricity: 19th Century Axiomatics to 21st Century Senatics.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.details
|
|
A Semantics for Ontology.Peter M. Simons - 1985 - Dialectica 39 (3):193-215.details
|
|
Strong logics of first and second order.Peter Koellner - 2010 - Bulletin of Symbolic Logic 16 (1):1-36.details
|
|
Possible worlds: A critical analysis.Jaroslav Peregrin - unknowndetails
|
|
Games: Unifying Logic, Language, and Philosophy.Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.) - 2009 - Dordrecht, Netherland: Springer Verlag.details
|
|
Lesniewski and Russell's paradox: Some problems.Rafal Urbaniak - 2008 - History and Philosophy of Logic 29 (2):115-146.details
|
|
Higher-order automated theorem proving.Michael Kohlhase - unknowndetails
|
|
logicism, intuitionism, and formalism - What has become of them?Sten Lindstr©œm, Erik Palmgren, Krister Segerberg & Viggo Stoltenberg-Hansen (eds.) - 2008 - Berlin, Germany: Springer.details
|
|
From if to bi.Samson Abramsky & Jouko Väänänen - 2009 - Synthese 167 (2):207 - 230.details
|
|
Language and its Models: Is Model Theory a Theory of Semantics?Jaroslav Peregrin - 1997 - Nordic Journal of Philosophical Logic 2 (1):1-23.details
|
|
System description: { A higher-order theorem prover?Michael Kohlhase - manuscriptdetails
|
|
Abstract objects.Gideon Rosen - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Hyperfine-grained meanings in classical logic.Reinhard Muskens - 1991 - Logique Et Analyse 133:159-176.details
|
|
Program semantics and classical logic.Reinhard Muskens - 1997) - In CLAUS Report Nr 86. Saarbrücken: University of the Saarland. pp. 1-27.details
|
|
Completeness and categoricty, part II: 20th century metalogic to 21st century semantics.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):77-92.details
|
|
Free quantification and logical invariance.G. Aldo Antonelli - 2007 - Rivista di Estetica 33 (1):61-73.details
|
|
Strict coherence, sigma coherence and the metaphysics of quantity.Brian Skyrms - 1995 - Philosophical Studies 77 (1):39-55.details
|
|
A note on Carnap's meaning criterion.William W. Rozeboom - 1960 - Philosophical Studies 11 (3):33 - 38.details
|
|
A survey of formal semantics.Robert Rogers - 1963 - Synthese 15 (1):17 - 56.details
|
|
Reply to “arthur Pap on meaning rules”.Arthur Pap - 1960 - Philosophical Studies 11 (3):38 - 41.details
|
|
The metaphysics of quantity.Brent Mundy - 1987 - Philosophical Studies 51 (1):29 - 54.details
|
|
A Cantorian argument against infinitesimals.Matthew E. Moore - 2002 - Synthese 133 (3):305 - 330.details
|
|
Pragmatics and intensional logic.Richard Montague - 1970 - Synthese 22 (1-2):68--94.details
|
|
Dunn’s relevant predication, real properties and identity.Philip Kremer - 1997 - Erkenntnis 47 (1):37-65.details
|
|
Analyticity versus fuzziness.John G. Kemeny - 1963 - Synthese 15 (1):57 - 80.details
|
|
On göde's philosophical assumptions.Jaakko Hintikka - 1998 - Synthese 114 (1):13-23.details
|
|
A revolution in the foundations of mathematics?Jaakko Hintikka - 1997 - Synthese 111 (2):155-170.details
|
|
Carnap's work in the foundations of logic and mathematics in a historical perspective.Jaakko Hintikka - 1992 - Synthese 93 (1-2):167 - 189.details
|
|
The three arrows of Zeno.Craig Harrison - 1996 - Synthese 107 (2):271 - 292.details
|
|
Am anfang war die tat.Wilhelm K. Essler - 1996 - Erkenntnis 44 (3):257 - 277.details
|
|
The transzendenz of mathematical 'experience'.William Boos - 1998 - Synthese 114 (1):49-98.details
|
|
Limits of inquiry.William Boos - 1983 - Erkenntnis 20 (2):157 - 194.details
|
|
Consistency and konsistenz.William Boos - 1987 - Erkenntnis 26 (1):1 - 43.details
|
|
Models and modality.Patricia A. Blanchette - 2000 - Synthese 124 (1-2):45-72.details
|
|
Critical notice.J. F. A. K. Benthem - 1979 - Synthese 40 (2):353-373.details
|
|
Higher Order Modal Logic.Reinhard Muskens - 2006 - In Patrick Blackburn, Johan Van Benthem & Frank Wolter (eds.), Handbook of Modal Logic. Elsevier. pp. 621-653.details
|
|
Intensional models for the theory of types.Reinhard Muskens - 2007 - Journal of Symbolic Logic 72 (1):98-118.details
|
|
A 'natural logic' inference system using the Lambek calculus.Anna Zamansky, Nissim Francez & Yoad Winter - 2006 - Journal of Logic, Language and Information 15 (3):273-295.details
|
|
Eligibility and inscrutability.J. Robert G. Williams - 2007 - Philosophical Review 116 (3):361-399.details
|
|
Second-order logic and foundations of mathematics.Jouko Väänänen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.details
|
|
Two suggestions for Ramsey-reducts of infinite theories.Zeno G. Swijtink - 1976 - Philosophy of Science 43 (4):575-577.details
|
|
Hybrid terms and sentences.Dietmar Schweigert - 1993 - Studia Logica 52 (3):405 - 417.details
|
|
Is “some-other-time” sometimes better than “sometime” for proving partial correctness of programs?Ildikó Sain - 1988 - Studia Logica 47 (3):279 - 301.details
|
|
Universal semantics?Richard Routley - 1975 - Journal of Philosophical Logic 4 (3):327 - 356.details
|
|
Choice and descriptions in enriched intensional languages — I.R. Routley, R. K. Meyer & L. Goddard - 1974 - Journal of Philosophical Logic 3 (3):291 - 316.details
|
|
A relational formulation of the theory of types.Reinhard Muskens - 1989 - Linguistics and Philosophy 12 (3):325 - 346.details
|
|