- Classes and truths in set theory.Kentaro Fujimoto - 2012 - Annals of Pure and Applied Logic 163 (11):1484-1523.details
|
|
Expressing logical disagreement from within.Andreas Fjellstad - 2022 - Synthese 200 (2):1-33.details
|
|
Truth, Pretense and the Liar Paradox.Bradley Armour-Garb & James A. Woodbridge - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer. pp. 339-354.details
|
|
On Cut-Elimination Arguments for Axiomatic Theories of Truth.Daichi Hayashi - 2022 - Studia Logica 110 (3):785-818.details
|
|
Unifying the Philosophy of Truth.Theodora Achourioti, Henri Galinon, José Martínez Fernández & Kentaro Fujimoto (eds.) - 2015 - Dordrecht, Netherland: Springer.details
|
|
A Note on the Unprovability of Consistency in Formal Theories of Truth.Kevin Davey - 2021 - Journal of Philosophical Logic 50 (6):1313-1340.details
|
|
A proof-theoretic account of classical principles of truth.Graham E. Leigh - 2013 - Annals of Pure and Applied Logic 164 (10):1009-1024.details
|
|
A note on the theory of positive induction, $${{\rm ID}^*_1}$$.Bahareh Afshari & Michael Rathjen - 2010 - Archive for Mathematical Logic 49 (2):275-281.details
|
|
The Friedman—Sheard programme in intuitionistic logic.Graham E. Leigh & Michael Rathjen - 2012 - Journal of Symbolic Logic 77 (3):777-806.details
|
|
One Hundred Years of Semantic Paradox.Leon Horsten - 2015 - Journal of Philosophical Logic (6):1-15.details
|
|
Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Paradoxes and contemporary logic.Andrea Cantini - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Conservativity for theories of compositional truth via cut elimination.Graham E. Leigh - 2015 - Journal of Symbolic Logic 80 (3):845-865.details
|
|