- On the Year of Publication of Tarski's ‘Der Wahrheitsbegriff in den formalisierten Sprachen’.Peter Milne - forthcoming - History and Philosophy of Logic:1-14.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
|
|
Abstract Categorical Logic.Marc Aiguier & Isabelle Bloch - 2023 - Logica Universalis 17 (1):23-67.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
|
|
Theory of Logical Calculi: Basic Theory of Consequence Operations.Ryszard Wójcicki - 1988 - Dordrecht, Boston and London: Kluwer Academic Publishers.details
|
|
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
|
|
Eligibility and inscrutability.J. Robert G. Williams - 2007 - Philosophical Review 116 (3):361-399.details
|
|
Skolem Redux.W. D. Hart - 2000 - Notre Dame Journal of Formal Logic 41 (4):399--414.details
|
|
A Strong Completeness Theorem for Pragmatics.Daniel Vanderveken - 1981 - Mathematical Logic Quarterly 27 (8‐10):151-160.details
|
|
A Strong Completeness Theorem for Pragmatics.Daniel Vanderveken - 1981 - Mathematical Logic Quarterly 27 (8-10):151-160.details
|
|
A Completeness Proof for a Regular Predicate Logic with Undefined Truth Value.Antti Valmari & Lauri Hella - 2023 - Notre Dame Journal of Formal Logic 64 (1):61-93.details
|
|
Vollständigkeit im Stufenkalkül.Helmut Thiele - 1957 - Mathematical Logic Quarterly 3 (13‐20):211-224.details
|
|
Vollständigkeit im Stufenkalkül.Helmut Thiele - 1957 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 3 (13-20):211-224.details
|
|
Eine Axiomatisierung der zweiwertigen Prädikatenkalküle der ersten Stufe, welche die Implikation enthalten.Helmut Thiele - 1956 - Mathematical Logic Quarterly 2 (5‐7):93-106.details
|
|
Eine Axiomatisierung der zweiwertigen Prädikatenkalküle der ersten Stufe, welche die Implikation enthalten.Helmut Thiele - 1956 - Mathematical Logic Quarterly 2 (5-7):93-106.details
|
|
Ontologically neutral logic.Theodore Hailperin - 1997 - History and Philosophy of Logic 18 (4):185-200.details
|
|
An Alternative Approach to Existence Monism: An Interpretation of Truisms Using Linguistic Ontology and the One as Semantic Glue.Masahiro Takatori - 2020 - Annals of the Japan Association for Philosophy of Science 29:75-91.details
|
|
On minimal models of first-order systems.Lars Svenonius - 1960 - Theoria 26 (1):44-52.details
|
|
No-categoricity in first-order predicate calculus.Lars Svenonius - 1959 - Theoria 25 (2):82-94.details
|
|
Completeness theorems for topological models.Joseph Sgro - 1977 - Annals of Mathematical Logic 11 (2):173.details
|
|
Theorie des logischen Schliessens I.Karl Schröter - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (1):37-86.details
|
|
Theorie des logischen Schliessens.Karl Schröter - 1955 - Mathematical Logic Quarterly 1 (1):37-86.details
|
|
Axiomatisation and decidability off andp in cyclical time.Mark Reynolds - 1994 - Journal of Philosophical Logic 23 (2):197 - 224.details
|
|
O pełnosci węzszego rachunku funkcyjnego.Juliusz Reichbach - 1955 - Studia Logica 2 (1):213-228.details
|
|
Neutral Free Logic: Motivation, Proof Theory and Models.Edi Pavlović & Norbert Gratzl - 2023 - Journal of Philosophical Logic 52 (2):519-554.details
|
|
Proofs of the Compactness Theorem.Alexander Paseau - 2010 - History and Philosophy of Logic 31 (1):73-98.details
|
|
An Axiomatic Approach to the Quantified Argument Calculus.Matteo Pascucci - 2023 - Erkenntnis 88 (8):3605-3630.details
|
|
Investigations into quantified modal logic.Zane Parks - 1976 - Studia Logica 35:109.details
|
|
The algebraic treatment of the methodology of elementary deductive systems.Jerzy Łoś - 1955 - Studia Logica 2 (1):151 - 212.details
|
|
A Modest Logic of Plurals.Alex Oliver & Timothy Smiley - 2006 - Journal of Philosophical Logic 35 (3):317-348.details
|
|