- Categorical Quantification.Constantin C. Brîncuș - forthcoming - Bulletin of Symbolic Logic:1-27.details
|
|
Abstract Categorical Logic.Marc Aiguier & Isabelle Bloch - 2023 - Logica Universalis 17 (1):23-67.details
|
|
Truth and Proof without Models: A Development and Justification of the Truth-valuational Approach (2nd edition).Hanoch Ben-Yami - manuscriptdetails
|
|
Theories of the Logos.Ermanno Bencivenga - 2017 - Cham, Switzerland: Springer.details
|
|
Near Closeness and Conditionals.Daniel Berntson - manuscriptdetails
|
|
The Quantified Argument Calculus and Natural Logic.Hanoch Ben-Yami - 2020 - Dialectica 74 (2):179-214.details
|
|
Hilbert's Metamathematical Problems and Their Solutions.Besim Karakadilar - 2008 - Dissertation, Boston Universitydetails
|
|
Deep Fried Logic.Shay Allen Logan - 2020 - Erkenntnis 87 (1):257-286.details
|
|
Identity, equality, nameability and completeness. Part II.María Manzano & Manuel Crescencio Moreno - 2018 - Bulletin of the Section of Logic 47 (3):141.details
|
|
The inscrutability of reference.Robert Williams - 2005 - Dissertation, University of St Andrewsdetails
|
|
(2 other versions)Levels: Descriptive, Explanatory, and Ontological.Christian List - 2017 - Noûs 53 (4):852-883.details
|
|
Some Concerns Regarding Ternary-relation Semantics and Truth-theoretic Semantics in General.Ross T. Brady - 2017 - IfCoLog Journal of Logics and Their Applications 4 (3):755--781.details
|
|
The prehistory of the subsystems of second-order arithmetic.Walter Dean & Sean Walsh - 2017 - Review of Symbolic Logic 10 (2):357-396.details
|
|
Intensionality from Self-Reference.T. Parent - manuscriptdetails
|
|
(3 other versions)Theorie des logischen Schliessens I.Karl Schröter - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (1):37-86.details
|
|
(3 other versions)Theorie des logischen Schliessens.Karl Schröter - 1955 - Mathematical Logic Quarterly 1 (1):37-86.details
|
|
Completeness: from Gödel to Henkin.Maria Manzano & Enrique Alonso - 2014 - History and Philosophy of Logic 35 (1):1-26.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
|
|
Theory of Logical Calculi: Basic Theory of Consequence Operations.Ryszard Wójcicki - 1988 - Dordrecht, Boston and London: Kluwer Academic Publishers.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
|
|
First-order logic.Per Lindström - unknowndetails
|
|
Theory of completeness for logical spaces.Kensaku Gomi - 2009 - Logica Universalis 3 (2):243-291.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
|
|
Eligibility and inscrutability.J. Robert G. Williams - 2007 - Philosophical Review 116 (3):361-399.details
|
|
Programs, grammars and arguments: A personal view of some connections between computation, language and logic.J. Lambek - 1997 - Bulletin of Symbolic Logic 3 (3):312-328.details
|
|
The mathematical development of set theory from Cantor to Cohen.Akihiro Kanamori - 1996 - Bulletin of Symbolic Logic 2 (1):1-71.details
|
|
(1 other version)The discovery of my completeness proofs.Leon Henkin - 1996 - Bulletin of Symbolic Logic 2 (2):127-158.details
|
|
Logic and limits of knowledge and truth.Patrick Grim - 1988 - Noûs 22 (3):341-367.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
|
|
First order logic with empty structures.Mohamed A. Amer - 1989 - Studia Logica 48 (2):169 - 177.details
|
|
(15 other versions)2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08.Alex J. Wilkie - 2009 - Bulletin of Symbolic Logic 15 (1):95-139.details
|
|
(1 other version)Logic with the quantifier “there exist uncountably many”.H. Jerome Keisler - 1970 - Annals of Mathematical Logic 1 (1):1-93.details
|
|
(1 other version)Logic with the quantifier "there exist uncountably many".H. Jerome Keisler - 1970 - Annals of Mathematical Logic 1 (1):1.details
|
|
(1 other version)Dedicated to my teacher, Alonzo Church, in his 91st year.Leon Henkin - 1996 - Bulletin of Symbolic Logic 2 (2).details
|
|
A Probabilistic Temporal Epistemic Logic: Strong Completeness.Zoran Ognjanović, Angelina Ilić Stepić & Aleksandar Perović - forthcoming - Logic Journal of the IGPL.details
|
|
The philosophy of logical practice.Ben Martin - 2022 - Metaphilosophy 53 (2-3):267-283.details
|
|
Distributed First Order Logic.Chiara Ghidini & Luciano Serafini - 2017 - Artificial Intelligence 253 (C):1-39.details
|
|
Current Trends in Substructural Logics.Katalin Bimbó - 2015 - Journal of Philosophical Logic 44 (6):609-624.details
|
|
(1 other version)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 and Herbrand Theorems for Nominal Logic.James Cheney - 2006 - Journal of Symbolic Logic 71 (1):299 - 320.details
|
|
Intuitionism and logical syntax.Charles McCarty - 2008 - Philosophia Mathematica 16 (1):56-77.details
|
|
An abstract setting for Henkin proofs.Robert Goldblatt - 1984 - Topoi 3 (1):37-41.details
|
|
(1 other version)Virtual modality. [REVIEW]William Boos - 2003 - Synthese 136 (3):435 - 491.details
|
|
The substitution interpretation of the quantifiers.J. Michael Dunn & Nuel D. Belnap - 1968 - Noûs 2 (2):177-185.details
|
|
Three logical theories.John Corcoran - 1969 - Philosophy of Science 36 (2):153-177.details
|
|
A content semantics for quantified relevant logics. I.Ross T. Brady - 1988 - Studia Logica 47 (2):111 - 127.details
|
|
(1 other version)Completeness in Equational Hybrid Propositional Type Theory.Maria Manzano, Manuel Martins & Antonia Huertas - 2019 - Studia Logica 107 (6):1159-1198.details
|
|
In memoriam: Leon Albert Henkin, 1921—2006.J. Donald Monk - 2009 - Bulletin of Symbolic Logic 15 (3):326-331.details
|
|
Identity, Equality, Nameability and Completeness.María Manzano & Manuel Crescencio Moreno - 2017 - Bulletin of the Section of Logic 46 (3/4).details
|
|