- Introducing Kurt Gödel [review of Gödel, Collected Works, Vol. 1: Publications, 1929-1936 ].Billy Joe Lucas - 1989 - Russell: The Journal of Bertrand Russell Studies 9 (1).details
|
|
Circumscriptive theories: A logic-based framework for knowledge representation. [REVIEW]Vladimir Lifshitz - 1988 - Journal of Philosophical Logic 17 (4):391 - 441.details
|
|
Materialism and qualia: The explanatory gap.Joseph Levine - 1983 - Pacific Philosophical Quarterly 64 (October):354-61.details
|
|
Partial monotonic protothetics.François Lepage - 2000 - Studia Logica 66 (1):147-163.details
|
|
That principia mathematica, first edition, has a predicative interpretation after all.Hugues Leblanc - 1975 - Journal of Philosophical Logic 4 (1):67 - 70.details
|
|
Matters of relevance.Hugues Leblanc - 1972 - Journal of Philosophical Logic 1 (3/4):269 - 286.details
|
|
Intuitionist type theory and foundations.J. Lambek & P. J. Scott - 1981 - Journal of Philosophical Logic 10 (1):101 - 115.details
|
|
Dunn’s relevant predication, real properties and identity.Philip Kremer - 1997 - Erkenntnis 47 (1):37-65.details
|
|
Strong logics of first and second order.Peter Koellner - 2010 - Bulletin of Symbolic Logic 16 (1):1-36.details
|
|
Standard Formalization.Jeffrey Ketland - 2022 - Axiomathes 32 (3):711-748.details
|
|
Characterizing all models in infinite cardinalities.Lauri Keskinen - 2013 - Annals of Pure and Applied Logic 164 (3):230-250.details
|
|
Analyticity versus fuzziness.John G. Kemeny - 1963 - Synthese 15 (1):57 - 80.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
|
|
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
|
|
Reduction and Tarski's Definition of Logical Consequence.Jim Edwards - 2003 - Notre Dame Journal of Formal Logic 44 (1):49-62.details
|
|
Boolean-Valued Second-Order Logic.Daisuke Ikegami & Jouko Väänänen - 2015 - Notre Dame Journal of Formal Logic 56 (1):167-190.details
|
|
On second-order characterizability.T. Hyttinen, K. Kangas & J. Vaananen - 2013 - Logic Journal of the IGPL 21 (5):767-787.details
|
|
Probabilities on Sentences in an Expressive Logic.Marcus Hutter, John W. Lloyd, Kee Siong Ng & William T. B. Uther - 2013 - Journal of Applied Logic 11 (4):386-420.details
|
|
The semantic view of theories and higher-order languages.Laurenz Hudetz - 2019 - Synthese 196 (3):1131-1149.details
|
|
Truth definitions, Skolem functions and axiomatic set theory.Jaakko Hintikka - 1998 - Bulletin of Symbolic Logic 4 (3):303-337.details
|
|
Quantifiers vs. Quantification Theory.Jaakko Hintikka - 1973 - Dialectica 27 (3‐4):329-358.details
|
|
On göde's philosophical assumptions.Jaakko Hintikka - 1998 - Synthese 114 (1):13-23.details
|
|
Independence-friendly logic and axiomatic set theory.Jaakko Hintikka - 2004 - Annals of Pure and Applied Logic 126 (1-3):313-333.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
|
|
A revolution in the foundations of mathematics?Jaakko Hintikka - 1997 - Synthese 111 (2):155-170.details
|
|
The discovery of my completeness proofs.Leon Henkin - 1996 - Bulletin of Symbolic Logic 2 (2):127-158.details
|
|
Russell's 1925 logic.A. P. Hazen & J. M. Davoren - 2000 - Australasian Journal of Philosophy 78 (4):534 – 556.details
|
|
Second-Order Logic of Paradox.Allen P. Hazen & Francis Jeffry Pelletier - 2018 - Notre Dame Journal of Formal Logic 59 (4):547-558.details
|
|
Pecularities of Some Three- and Four-Valued Second Order Logics.Allen P. Hazen & Francis Jeffry Pelletier - 2018 - Logica Universalis 12 (3-4):493-509.details
|
|
Zur Axiomatisierung der k‐zahlig allgemeingültigen Ausdrücke des Stufenkalküls.Gisbert Hasenjaeger - 1958 - Mathematical Logic Quarterly 4 (12‐16):175-177.details
|
|
Zur Axiomatisierung derk-zahlig allgemeingültigen Ausdrücke des Stufenkalküls.Gisbert Hasenjaeger - 1958 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 4 (12-16):175-177.details
|
|
The three arrows of Zeno.Craig Harrison - 1996 - Synthese 107 (2):271 - 292.details
|
|
Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.details
|
|
An Admissible Semantics for Propositionally Quantified Relevant Logics.Robert Goldblatt & Michael Kane - 2010 - Journal of Philosophical Logic 39 (1):73-100.details
|
|
Forcing, Downward Löwenheim-Skolem and Omitting Types Theorems, Institutionally.Daniel Găină - 2014 - Logica Universalis 8 (3-4):469-498.details
|
|
Kripke models and the (in)equational logic of the second-order λ-calculus.Jean Gallier - 1997 - Annals of Pure and Applied Logic 84 (3):257-316.details
|
|
General Models and Entailment Semantics for Independence Logic.Pietro Galliani - 2013 - Notre Dame Journal of Formal Logic 54 (2):253-275.details
|
|
Semantical investigations on non-classical logics with recovery operators: negation.David Fuenmayor - forthcoming - Logic Journal of the IGPL.details
|
|
An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics.Chris Fox & Shalom Lappin - 2004 - Logic Journal of the Interest Group in Pure and Applied Logics 12 (2):135--168.details
|
|
On the algebraization of Henkin‐type second‐order logic.Miklós Ferenczi - 2022 - Mathematical Logic Quarterly 68 (2):149-158.details
|
|
The seven virtues of simple type theory.William M. Farmer - 2008 - Journal of Applied Logic 6 (3):267-286.details
|
|
A simple type theory with partial functions and subtypes11Supported by the MITRE-Sponsored Research program. Presented at the 9th International Congress of Logic, Methodology and Philosophy of Science held in Uppsala, Sweden, August 7-14, 1991. [REVIEW]William M. Farmer - 1993 - Annals of Pure and Applied Logic 64 (3):211-240.details
|
|
A Simple Type Theory With Partial Functions And Subtypes.William M. Farmer - 1993 - Annals of Pure and Applied Logic 64 (3):211-240.details
|
|
Am anfang war die tat.Wilhelm K. Essler - 1996 - Erkenntnis 44 (3):257 - 277.details
|
|
Lewisian Naturalness and a new Sceptical Challenge.Matej Drobňák - forthcoming - Logic and Logical Philosophy:3-28.details
|
|
To Be F Is To Be G.Cian Dorr - 2016 - Philosophical Perspectives 30 (1):39-134.details
|
|
Leśniewski's Systems of Logic and Foundations of Mathematics.Rafal Urbaniak - 2013 - Cham, Switzerland: Springer.details
|
|
Logica Universalis: Towards a General Theory of Logic.Jean-Yves Béziau (ed.) - 2007 - Boston: Birkhäuser Basel.details
|
|
The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today.Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.) - 2006 - Dordrecht, Netherland: Springer.details
|
|
Games: Unifying Logic, Language, and Philosophy.Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.) - 2009 - Dordrecht, Netherland: Springer Verlag.details
|
|