- (1 other version)Logic with the quantifier “there exist uncountably many”.H. Jerome Keisler - 1970 - Annals of Mathematical Logic 1 (1):1-93.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
|
|
Theory of Logical Calculi: Basic Theory of Consequence Operations.Ryszard Wójcicki - 1988 - Dordrecht, Boston and London: Kluwer Academic Publishers.details
|
|
In memoriam: Leon Albert Henkin, 1921—2006.J. Donald Monk - 2009 - Bulletin of Symbolic Logic 15 (3):326-331.details
|
|
An abstract setting for Henkin proofs.Robert Goldblatt - 1984 - Topoi 3 (1):37-41.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
|
|
Barwise: Infinitary logic and admissible sets.H. Jerome Keisler & Julia F. Knight - 2004 - Bulletin of Symbolic Logic 10 (1):4-36.details
|
|
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
|
|
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
|
|
Conceptual role semantics and the explanatory role of content.Robert Cummins - 1992 - Philosophical Studies 65 (1-2):103-127.details
|
|
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
|
|
Near Closeness and Conditionals.Daniel Berntson - manuscriptdetails
|
|
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
|
|
Hilbert's Metamathematical Problems and Their Solutions.Besim Karakadilar - 2008 - Dissertation, Boston Universitydetails
|
|
Incompleteness Via Paradox and Completeness.Walter Dean - 2020 - Review of Symbolic Logic 13 (3):541-592.details
|
|
The inscrutability of reference.Robert Williams - 2005 - Dissertation, University of St Andrewsdetails
|
|
(1 other version)Completeness in Equational Hybrid Propositional Type Theory.Maria Manzano, Manuel Martins & Antonia Huertas - 2019 - Studia Logica 107 (6):1159-1198.details
|
|
Identity, Equality, Nameability and Completeness.María Manzano & Manuel Crescencio Moreno - 2017 - Bulletin of the Section of Logic 46 (3/4).details
|
|
(1 other version)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
|
|
Intensionality from Self-Reference.T. Parent - manuscriptdetails
|
|
Revising Carnap’s Semantic Conception of Modality.Toby Meadows - 2012 - Studia Logica 100 (3):497-515.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
|
|
Limits of inquiry.William Boos - 1983 - Erkenntnis 20 (2):157 - 194.details
|
|
(1 other version)Virtual modality. [REVIEW]William Boos - 2003 - Synthese 136 (3):435 - 491.details
|
|
The algebraic treatment of the methodology of elementary deductive systems.Jerzy Łoś - 1955 - Studia Logica 2 (1):151 - 212.details
|
|
The mathematical development of set theory from Cantor to Cohen.Akihiro Kanamori - 1996 - Bulletin of Symbolic Logic 2 (1):1-71.details
|
|
An extension of the Craig-Lyndon interpolation theorem.Leon Henkin - 1963 - Journal of Symbolic Logic 28 (3):201-216.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
|
|
A Probabilistic Temporal Epistemic Logic: Strong Completeness.Zoran Ognjanović, Angelina Ilić Stepić & Aleksandar Perović - forthcoming - Logic Journal of the IGPL.details
|
|
Truth and Proof without Models: A Development and Justification of the Truth-valuational Approach (2nd edition).Hanoch Ben-Yami - manuscriptdetails
|
|
The philosophy of logical practice.Ben Martin - 2022 - Metaphilosophy 53 (2-3):267-283.details
|
|
Lewisian Naturalness and a new Sceptical Challenge.Matej Drobňák - forthcoming - Logic and Logical Philosophy:3-28.details
|
|
Distributed First Order Logic.Chiara Ghidini & Luciano Serafini - 2017 - Artificial Intelligence 253 (C):1-39.details
|
|
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
|
|
(1 other version)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
|
|
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
|
|
Denotationless terms and predicates expressive of positive qualities.Rolf A. Eberle - 1969 - Theoria 35 (2):104-123.details
|
|
On minimal models of first-order systems.Lars Svenonius - 1960 - Theoria 26 (1):44-52.details
|
|
Skolem Redux.W. D. Hart - 2000 - Notre Dame Journal of Formal Logic 41 (4):399--414.details
|
|
An Axiomatic Approach to the Quantified Argument Calculus.Matteo Pascucci - 2023 - Erkenntnis 88 (8):3605-3630.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
|
|
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
|
|
Investigations into quantified modal logic.Zane Parks - 1976 - Studia Logica 35:109.details
|
|