The adequacy problem for classical logic (original) (raw)
Related papers
A Partial Predicate Calculus in a Two-Valued Logic
Mathematical Logic Quarterly, 1983
A study of intermediate predicate logics
Publications of the Research Institute for Mathematical Sciences, 1972
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1987
Proof-Theoretic Reconstruction of Generalized Quantifiers
The adequacy problem for inferential logic
Robert Tragesser, Jeffery Zucker
Journal of Philosophical Logic, 1978
Herbrand’s Theorem for Prenex Gödel Logic and Its Consequences for Theorem Proving
Lecture Notes in Computer Science, 2001
On A New Semantics for First-Order Predicate Logic
Journal of Philosophical Logic
A translation of intuitionistic predicate logic into Basic Predicate Logic
1999
Names and Quantifiers: Bringing Them Together in Classical Logic
Journal of Logic, Language and Information
A formal theory of intermediate quantifiers
Andrew Tedder, Guillermo Badia
Logique Et Analyse, 2017
Routledge Companion to Philosophy of Language. Eds. D. Graff Fara & G. Russell. Pp. 579-95, 2012
A fundamental non-classical logic
A proof-theoretic study of the correspondence of classical logic and modal logic
Journal of Symbolic Logic, vol.68(4), pp.1403-1414, 2003
A Syntactic Embedding of Predicate Logic into Second-Order Propositional Logic
Notre Dame Journal of Formal Logic, 2010
PhD dissertation, 1995
A Hierarchy of Classical and Paraconsistent Logics
Damian Szmuc, Federico Pailos, Eduardo Barrio
2019
Characterizing second order logic with first order quantifiers
1979
On the Elimination of Quantifiers through Descriptors in Predicate Logic
The structure of criterion predicates
Uniform provability in classical logic
Journal of Logic and Computation, 1998
Directions in generalized quantifier theory
Studia Logica, 1995
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1971
Towards a Theory of Proofs of Classical Logic Habilitation à diriger des recherches
2013
The Complete Axiomatisation of any Many-Valued Propositional Logic
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1976
stoqnet.org
Failures of the Interpolation Lemma in Quantified Modal Logic
Guilherme Messias Pereira Lima
On Conservative Extensions in Logics with Infinitary Predicates
Studia Logica, 2009
A definability theorem for first order logic
1997
A uniform proof procedure for classical and non-classical logics
Lecture Notes in Computer Science, 1996
Intermediate predicate logics determined by ordinals
Journal of Symbolic Logic, 1990