- A Step Towards Absolute Versions of Metamathematical Results.Balthasar Grabmayr - 2024 - Journal of Philosophical Logic 53 (1):247-291.details
|
|
Unary Interpretability Logics for Sublogics of the Interpretability Logic $$\textbf{IL}$$.Yuya Okawa - 2024 - Studia Logica 112 (3):693-721.details
|
|
Bounded finite set theory.Laurence Kirby - 2021 - Mathematical Logic Quarterly 67 (2):149-163.details
|
|
Solutions to the Knower Paradox in the Light of Haack’s Criteria.Mirjam de Vos, Rineke Verbrugge & Barteld Kooi - 2023 - Journal of Philosophical Logic 52 (4):1101-1132.details
|
|
Truth‐value relations and logical relations.Lloyd Humberstone - 2023 - Theoria 89 (1):124-147.details
|
|
On Shavrukov’s Non-Isomorphism Theorem for Diagonalizable Algebras.Evgeny A. Kolmakov - 2024 - Review of Symbolic Logic 17 (1):206-243.details
|
|
On the Depth of Gödel’s Incompleteness Theorems.Yong Cheng - forthcoming - Philosophia Mathematica.details
|
|
Münchhausen provability.Joost J. Joosten - 2021 - Journal of Symbolic Logic 86 (3):1006-1034.details
|
|
The Function of Truth and the Conservativeness Argument.Kentaro Fujimoto - 2022 - Mind 131 (521):129-157.details
|
|
XV—On Consistency and Existence in Mathematics.Walter Dean - 2021 - Proceedings of the Aristotelian Society 120 (3):349-393.details
|
|
Stable and Unstable Theories of Truth and Syntax.Beau Madison Mount & Daniel Waxman - 2021 - Mind 130 (518):439-473.details
|
|
Algebraic combinatorics in bounded induction.Joaquín Borrego-Díaz - 2021 - Annals of Pure and Applied Logic 172 (2):102885.details
|
|
The Potential in Frege’s Theorem.Will Stafford - 2023 - Review of Symbolic Logic 16 (2):553-577.details
|
|
Tanaka’s theorem revisited.Saeideh Bahrami - 2020 - Archive for Mathematical Logic 59 (7-8):865-877.details
|
|
A remark on pseudo proof systems and hard instances of the satisfiability problem.Jan Maly & Moritz Müller - 2018 - Mathematical Logic Quarterly 64 (6):418-428.details
|
|
The omega-rule interpretation of transfinite provability logic.David Fernández-Duque & Joost J. Joosten - 2018 - Annals of Pure and Applied Logic 169 (4):333-371.details
|
|
Deflationism beyond arithmetic.Kentaro Fujimoto - 2019 - Synthese 196 (3):1045-1069.details
|
|
Slow reflection.Anton Freund - 2017 - Annals of Pure and Applied Logic 168 (12):2103-2128.details
|
|
Monomial ideals and independence of.Florian Pelupessy - 2017 - Mathematical Logic Quarterly 63 (1-2):59-65.details
|
|
Intermediate Logics and the de Jongh property.Dick Jongh, Rineke Verbrugge & Albert Visser - 2011 - Archive for Mathematical Logic 50 (1-2):197-213.details
|
|
Syntactical truth predicates for second order arithmetic.Loïc Colson & Serge Grigorieff - 2001 - Journal of Symbolic Logic 66 (1):225-256.details
|
|
Unifying the model theory of first-order and second-order arithmetic via WKL 0 ⁎.Ali Enayat & Tin Lok Wong - 2017 - Annals of Pure and Applied Logic 168 (6):1247-1283.details
|
|
On principles between ∑1- and ∑2-induction, and monotone enumerations.Alexander P. Kreuzer & Keita Yokoyama - 2016 - Journal of Mathematical Logic 16 (1):1650004.details
|
|
Realizability semantics for quantified modal logic: Generalizing flagg’s 1985 construction.Benjamin G. Rin & Sean Walsh - 2016 - Review of Symbolic Logic 9 (4):752-809.details
|
|
Deflationary Truth and Pathologies.Cezary Cieśliński - 2010 - Journal of Philosophical Logic 39 (3):325-337.details
|
|
Transductions in arithmetic.Albert Visser - 2016 - Annals of Pure and Applied Logic 167 (3):211-234.details
|
|
The Strength of Abstraction with Predicative Comprehension.Sean Walsh - 2016 - Bulletin of Symbolic Logic 22 (1):105–120.details
|
|
Consistency and the theory of truth.Richard Heck - 2015 - Review of Symbolic Logic 8 (3):424-466.details
|
|
The Strength of Truth-Theories.Richard Heck - manuscriptdetails
|
|
Buttresses of the Turing Barrier.Paolo Cotogno - 2015 - Acta Analytica 30 (3):275-282.details
|
|
Arithmetical Reflection and the Provability of Soundness.Walter Dean - 2015 - Philosophia Mathematica 23 (1):31-64.details
|
|
Predicative Frege Arithmetic and ‘Everyday’ Mathematics.Richard Heck - 2014 - Philosophia Mathematica 22 (3):279-307.details
|
|
Truth and speed-up.Martin Fischer - 2014 - Review of Symbolic Logic 7 (2):319-340.details
|
|
Finitistic Arithmetic and Classical Logic.Mihai Ganea - 2014 - Philosophia Mathematica 22 (2):167-197.details
|
|
Other Proofs of Old Results.Henryk Kotlarski - 1998 - Mathematical Logic Quarterly 44 (4):474-480.details
|
|
More on lower bounds for partitioning α-large sets.Henryk Kotlarski, Bożena Piekart & Andreas Weiermann - 2007 - Annals of Pure and Applied Logic 147 (3):113-126.details
|
|
Empiricism, Probability, and Knowledge of Arithmetic.Sean Walsh - 2014 - Journal of Applied Logic 12 (3):319–348.details
|
|
Logicism, Interpretability, and Knowledge of Arithmetic.Sean Walsh - 2014 - Review of Symbolic Logic 7 (1):84-119.details
|
|
On Overspill Principles and Axiom Schemes for Bounded Formulas.Joaquín Borrego-Díaz, Alejandro Fernández-Margarit & Mario Pérez-Jiménez - 1996 - Mathematical Logic Quarterly 42 (1):341-348.details
|
|
Consistency statements and iterations of computable functions in IΣ1 and PRA.Joost J. Joosten - 2010 - Archive for Mathematical Logic 49 (7-8):773-798.details
|
|
Preservation theorems for bounded formulas.Morteza Moniri - 2007 - Archive for Mathematical Logic 46 (1):9-14.details
|
|
Intermediate Logics and the de Jongh property.Dick de Jongh, Rineke Verbrugge & Albert Visser - 2011 - Archive for Mathematical Logic 50 (1-2):197-213.details
|
|
Term extraction and Ramsey's theorem for pairs.Alexander P. Kreuzer & Ulrich Kohlenbach - 2012 - Journal of Symbolic Logic 77 (3):853-895.details
|
|
Extensions of the Finitist Point of View.Matthias Schirn & Karl-Georg Niebergall - 2001 - History and Philosophy of Logic 22 (3):135-161.details
|
|
Some (non)tautologies of łukasiewicz and product logic.Petr Hájek - 2010 - Review of Symbolic Logic 3 (2):273-278.details
|
|
Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
A model-theoretic approach to ordinal analysis.Jeremy Avigad & Richard Sommer - 1997 - Bulletin of Symbolic Logic 3 (1):17-52.details
|
|
McCall’s Gödelian Argument is Invalid.Panu Raatikainen - 2002 - Facta Philosophica 4 (1):167-69.details
|
|
Weak essentially undecidable theories of concatenation, part II.Juvenal Murwanashyaka - 2024 - Archive for Mathematical Logic 63 (3):353-390.details
|
|