- Conservatively extending classical logic with transparent truth.David Ripley - 2012 - Review of Symbolic Logic 5 (2):354-378.details
|
|
La descente infinie, l’induction transfinie et le tiers exclu.Yvon Gauthier - 2009 - Dialogue 48 (1):1.details
|
|
Learning correction grammars.Lorenzo Carlucci, John Case & Sanjay Jain - 2009 - Journal of Symbolic Logic 74 (2):489-516.details
|
|
Relative truth definability of axiomatic truth theories.Kentaro Fujimoto - 2010 - Bulletin of Symbolic Logic 16 (3):305-344.details
|
|
Minimal truth and interpretability.Martin Fischer - 2009 - Review of Symbolic Logic 2 (4):799-815.details
|
|
Matrix-based logic for application in physics.Paul Weingartner - 2009 - Review of Symbolic Logic 2 (1):132-163.details
|
|
Classifying the provably total functions of pa.Andreas Weiermann - 2006 - Bulletin of Symbolic Logic 12 (2):177-190.details
|
|
(1 other version)Godel's functional interpretation.Jeremy Avigad & Solomon Feferman - 1998 - In Samuel R. Buss (ed.), Handbook of proof theory. New York: Elsevier. pp. 337-405.details
|
|
Tarski hierarchies.Volker Halbach - 1995 - Erkenntnis 43 (3):339 - 367.details
|
|
Working foundations.Solomon Feferman - 1985 - Synthese 62 (2):229 - 254.details
|
|
Taking out LK parts from a proof in peano arithmetic.Tsuyoshi Yukami - 1986 - Journal of Symbolic Logic 51 (3):682-700.details
|
|
(1 other version)How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case study.Andreas Weiermann - 1998 - Journal of Symbolic Logic 63 (4):1348-1370.details
|
|
How to characterize provably total functions by local predicativity.Andreas Weiermann - 1996 - Journal of Symbolic Logic 61 (1):52-69.details
|
|
A small reflection principle for bounded arithmetic.Rineke Verbrugge & Albert Visser - 1994 - Journal of Symbolic Logic 59 (3):785-812.details
|
|
A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices.Yehuda Rav - 2007 - Philosophia Mathematica 15 (3):291-320.details
|
|
(2 other versions)Pure proof theory aims, methods and results.Wolfram Pohlers - 1996 - Bulletin of Symbolic Logic 2 (2):159-188.details
|
|
Hauptsatz for higher-order modal logic.Hirokazu Nishimura - 1983 - Journal of Symbolic Logic 48 (3):744-751.details
|
|
A proof–theoretic study of the correspondence of hybrid logic and classical logic.H. Kushida & M. Okada - 2006 - Journal of Logic, Language and Information 16 (1):35-61.details
|
|
A proof-theoretic study of the correspondence of classical logic and modal logic.H. Kushida & M. Okada - 2003 - Journal of Symbolic Logic 68 (4):1403-1414.details
|
|
Interpolation theorems, lower Bounds for proof systems, and independence results for bounded arithmetic.Jan Krajíček - 1997 - Journal of Symbolic Logic 62 (2):457-486.details
|
|
Discretely ordered modules as a first-order extension of the cutting planes proof system.Jan Krajicek - 1998 - Journal of Symbolic Logic 63 (4):1582-1596.details
|
|
About the proof-theoretic ordinals of weak fixed point theories.Gerhard Jäger & Barbara Primo - 1992 - Journal of Symbolic Logic 57 (3):1108-1119.details
|
|
(1 other version)Some theories with positive induction of ordinal strength ϕω.Gerhard Jäger & Thomas Strahm - 1996 - Journal of Symbolic Logic 61 (3):818-842.details
|
|
About some symmetries of negation.Brigitte Hösli & Gerhard Jäger - 1994 - Journal of Symbolic Logic 59 (2):473-485.details
|
|
Disquotational truth and analyticity.Volker Halbach - 2001 - Journal of Symbolic Logic 66 (4):1959-1973.details
|
|
(1 other version)Interpolation in fragments of intuitionistic propositional logic.Gerard R. Renardel de Lavalette - 1989 - Journal of Symbolic Logic 54 (4):1419-1430.details
|
|
The cost of a cycle is a square.A. Carbone - 2002 - Journal of Symbolic Logic 67 (1):35-60.details
|
|
On gödel's theorems on lengths of proofs I: Number of lines and speedup for arithmetics.Samuel R. Buss - 1994 - Journal of Symbolic Logic 59 (3):737-756.details
|
|
Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.details
|
|
Intuitionistic autoepistemic logic.Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri - 1997 - Studia Logica 59 (1):103-120.details
|
|
The negative theology of absolute infinity: Cantor, mathematics, and humility.Rico Gutschmidt & Merlin Carl - 2024 - International Journal for Philosophy of Religion 95 (3):233-256.details
|
|
Paraconsistent logic and query answering in inconsistent databases.C. A. Middelburg - 2024 - Journal of Applied Non-Classical Logics 34 (1):133-154.details
|
|
Two-Sorted Frege Arithmetic is Not Conservative.Stephen Mackereth & Jeremy Avigad - 2022 - Review of Symbolic Logic 16 (4):1199-1232.details
|
|
Truth Meets Vagueness. Unifying the Semantic and the Soritical Paradoxes.Riccardo Bruni & Lorenzo Rossi - 2023 - Journal of Philosophical Logic 52 (6):1637-1671.details
|
|
Herbrand complexity and the epsilon calculus with equality.Kenji Miyamoto & Georg Moser - 2023 - Archive for Mathematical Logic 63 (1):89-118.details
|
|
Glivenko sequent classes and constructive cut elimination in geometric logics.Giulio Fellin, Sara Negri & Eugenio Orlandelli - 2023 - Archive for Mathematical Logic 62 (5):657-688.details
|
|
Model Theory and Proof Theory of the Global Reflection Principle.Mateusz Zbigniew Łełyk - 2023 - Journal of Symbolic Logic 88 (2):738-779.details
|
|
Higher-Order Logic and Disquotational Truth.Lavinia Picollo & Thomas Schindler - 2022 - Journal of Philosophical Logic 51 (4):879-918.details
|
|
Is cut-free logic fit for unrestricted abstraction?Uwe Petersen - 2022 - Annals of Pure and Applied Logic 173 (6):103101.details
|
|
Falsification-Aware Semantics and Sequent Calculi for Classical Logic.Norihiro Kamide - 2021 - Journal of Philosophical Logic 51 (1):99-126.details
|
|
Logics of intuitionistic Kripke-Platek set theory.Rosalie Iemhoff & Robert Passmann - 2021 - Annals of Pure and Applied Logic 172 (10):103014.details
|
|
(1 other version)The Cogito Paradox.Arnold Cusmariu - forthcoming - Symposion. Theoretical and Applied Inquiries in Philosophy and Social Sciences.details
|
|
Nonclassical Truth with Classical Strength. A Proof-Theoretic Analysis of Compositional Truth Over Hype.Martin Fischer, Carlo Nicolai & Pablo Dopico - 2023 - Review of Symbolic Logic 16 (2):425-448.details
|
|
Free Logics are Cut-Free.Andrzej Indrzejczak - 2021 - Studia Logica 109 (4):859-886.details
|
|
Sketch of a Proof-Theoretic Semantics for Necessity.Nils Kürbis - 2020 - In Nicola Olivetti, Rineke Verbrugge & Sara Negri (eds.), Advances in Modal Logic 13. Booklet of Short Papers. Helsinki: pp. 37-43.details
|
|
Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion.Norihiro Kamide - 2020 - Journal of Philosophical Logic 49 (6):1185-1212.details
|
|
A Proof Theory for the Logic of Provability in True Arithmetic.Hirohiko Kushida - 2020 - Studia Logica 108 (4):857-875.details
|
|
The large structures of grothendieck founded on finite-order arithmetic.Colin Mclarty - 2020 - Review of Symbolic Logic 13 (2):296-325.details
|
|
Proof-theoretic strengths of the well-ordering principles.Toshiyasu Arai - 2020 - Archive for Mathematical Logic 59 (3-4):257-275.details
|
|
Proof-theoretic analysis of the quantified argument calculus.Edi Pavlović & Norbert Gratzl - 2019 - Review of Symbolic Logic 12 (4):607-636.details
|
|