- The mathematical development of set theory from Cantor to Cohen.Akihiro Kanamori - 1996 - Bulletin of Symbolic Logic 2 (1):1-71.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
|
|
Completeness and Herbrand Theorems for Nominal Logic.James Cheney - 2006 - Journal of Symbolic Logic 71 (1):299 - 320.details
|
|
Is Logic the Key to All Good Reasoning?Jaakko Hintikka - 2001 - Argumentation 15 (1):35-57.details
|
|
Hilbert vindicated?Jaakko Hintikka - 1997 - Synthese 110 (1):15-36.details
|
|
The discovery of my completeness proofs.Leon Henkin - 1996 - Bulletin of Symbolic Logic 2 (2):127-158.details
|
|
An extension of the Craig-Lyndon interpolation theorem.Leon Henkin - 1963 - Journal of Symbolic Logic 28 (3):201-216.details
|
|
Logic and limits of knowledge and truth.Patrick Grim - 1988 - Noûs 22 (3):341-367.details
|
|
Theory of completeness for logical spaces.Kensaku Gomi - 2009 - Logica Universalis 3 (2):243-291.details
|
|
Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.details
|
|
Erdős graphs resolve fine's canonicity problem.Robert Goldblatt, Ian Hodkinson & Yde Venema - 2004 - Bulletin of Symbolic Logic 10 (2):186-208.details
|
|
An abstract setting for Henkin proofs.Robert Goldblatt - 1984 - Topoi 3 (1):37-41.details
|
|
Distributed First Order Logic.Chiara Ghidini & Luciano Serafini - 2017 - Artificial Intelligence 253 (C):1-39.details
|
|
Beyond Rasiowa's Algebraic Approach to Non-classical Logics.Josep Maria Font - 2006 - Studia Logica 82 (2):179-209.details
|
|
My route to arithmetization.Solomon Feferman - 1997 - Theoria 63 (3):168-181.details
|
|
The seven virtues of simple type theory.William M. Farmer - 2008 - Journal of Applied Logic 6 (3):267-286.details
|
|
Äquivalenzklassen von n‐Tupeln.Erwin Engeler - 1959 - Mathematical Logic Quarterly 5 (14-24):340-345.details
|
|
Denotationless terms and predicates expressive of positive qualities.Rolf A. Eberle - 1969 - Theoria 35 (2):104-123.details
|
|
The substitution interpretation of the quantifiers.J. Michael Dunn & Nuel D. Belnap - 1968 - Noûs 2 (2):177-185.details
|
|
Lewisian Naturalness and a new Sceptical Challenge.Matej Drobňák - forthcoming - Logic and Logical Philosophy:3-28.details
|
|
Logical Consequence and First-Order Soundness and Completeness: A Bottom Up Approach.Eli Dresner - 2011 - Notre Dame Journal of Formal Logic 52 (1):75-93.details
|
|
The prehistory of the subsystems of second-order arithmetic.Walter Dean & Sean Walsh - 2017 - Review of Symbolic Logic 10 (2):357-396.details
|
|
Incompleteness Via Paradox and Completeness.Walter Dean - 2020 - Review of Symbolic Logic 13 (3):541-592.details
|
|
Boolean Powers in Algebraic Logic.Aubert Daigneault - 1971 - Mathematical Logic Quarterly 17 (1):411-420.details
|
|
Conceptual role semantics and the explanatory role of content.Robert Cummins - 1992 - Philosophical Studies 65 (1-2):103-127.details
|
|
Logics Modulo Theories: a logical framework for multi-agent systems.Lito Perez Cruz & John Newsome Crossley - 2015 - Logic Journal of the IGPL 23 (4):553-583.details
|
|
Prior on the semantics of modal and tense logic.M. J. Cresswell - 2016 - Synthese 193 (11).details
|
|
Three logical theories.John Corcoran - 1969 - Philosophy of Science 36 (2):153-177.details
|
|
An approach to tense logic.R. A. Bull - 1970 - Theoria 36 (3):282-300.details
|
|
A content semantics for quantified relevant logics. I.Ross T. Brady - 1988 - Studia Logica 47 (2):111 - 127.details
|
|
Virtual modality. [REVIEW]William Boos - 2003 - Synthese 136 (3):435 - 491.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
|
|
Current Trends in Substructural Logics.Katalin Bimbó - 2015 - Journal of Philosophical Logic 44 (6):609-624.details
|
|
The Quantified Argument Calculus and Natural Logic.Hanoch Ben-Yami - 2020 - Dialectica 74 (2):179-214.details
|
|
Henkin constructions of models with size continuum.John T. Baldwin & Michael C. Laskowski - 2019 - Bulletin of Symbolic Logic 25 (1):1-33.details
|
|
Hybrid Type Theory: A Quartet in Four Movements.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2011 - Principia: An International Journal of Epistemology 15 (2):225.details
|
|
Completeness in Hybrid Type Theory.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2013 - Journal of Philosophical Logic (2-3):1-30.details
|
|
Completeness in Hybrid Type Theory.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2014 - Journal of Philosophical Logic 43 (2-3):209-238.details
|
|
First order logic with empty structures.Mohamed A. Amer - 1989 - Studia Logica 48 (2):169 - 177.details
|
|
Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning.Marc Aiguier & Isabelle Bloch - 2019 - Journal of Applied Non-Classical Logics 29 (4):392-429.details
|
|
Categorical Quantification.Constantin C. Brîncuș - forthcoming - Bulletin of Symbolic Logic:1-27.details
|
|
Theories of the Logos.Ermanno Bencivenga - 2017 - Cham, Switzerland: Springer.details
|
|
Truth and Proof without Models: A Development and Justification of the Truth-valuational Approach (2nd edition).Hanoch Ben-Yami - manuscriptdetails
|
|
Hilbert's Metamathematical Problems and Their Solutions.Besim Karakadilar - 2008 - Dissertation, Boston Universitydetails
|
|
Intensionality from Self-Reference.T. Parent - manuscriptdetails
|
|
First-order logic.Per Lindström - unknowndetails
|
|
Dedicated to my teacher, Alonzo Church, in his 91st year.Leon Henkin - 1996 - Bulletin of Symbolic Logic 2 (2).details
|
|
Near Closeness and Conditionals.Daniel Berntson - manuscriptdetails
|
|
The inscrutability of reference.Robert Williams - 2005 - Dissertation, University of St Andrewsdetails
|
|