- (1 other version)The power of naive truth.Hartry Field - 2022 - Review of Symbolic Logic 15 (1):225-258.details
|
|
(1 other version)The Power of Naive Truth.Hartry Field - manuscriptdetails
|
|
Truth in a Logic of Formal Inconsistency: How classical can it get?Lavinia Picollo - 2020 - Logic Journal of the IGPL 28 (5):771-806.details
|
|
The Tarskian Turn: Deflationism and Axiomatic Truth.Leon Horsten - 2011 - MIT Press.details
|
|
Saving truth from paradox.Hartry H. Field - 2008 - New York: Oxford University Press.details
|
|
Truth and paradox: solving the riddles.Tim Maudlin - 2004 - New York: Oxford University Press.details
|
|
(1 other version)Basic proof theory.A. S. Troelstra - 2000 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.details
|
|
(1 other version)Proof theory.Gaisi Takeuti - 1975 - New York, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..details
|
|
Some remarks on extending and interpreting theories with a partial predicate for truth.William N. Reinhardt - 1986 - Journal of Philosophical Logic 15 (2):219 - 251.details
|
|
The logic of paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.details
|
|
Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.details
|
|
(1 other version)Systems of predicative analysis, II: Representations of ordinals.Solomon Feferman - 1968 - Journal of Symbolic Logic 33 (2):193-220.details
|
|
Toward useful type-free theories. I.Solomon Feferman - 1984 - Journal of Symbolic Logic 49 (1):75-111.details
|
|
Supervaluation-Style Truth Without Supervaluations.Johannes Stern - 2018 - Journal of Philosophical Logic 47 (5):817-850.details
|
|
Provably True Sentences Across Axiomatizations of Kripke’s Theory of Truth.Carlo Nicolai - 2018 - Studia Logica 106 (1):101-130.details
|
|
Axiomatizing Kripke’s Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.details
|
|
Iterated reflection over full disquotational truth.Fischer Martin, Nicolai Carlo & Horsten Leon - 2017 - Journal of Logic and Computation 27 (8):2631-2651.details
|
|
On the Costs of Nonclassical Logic.Volker Halbach & Carlo Nicolai - 2018 - Journal of Philosophical Logic 47 (2):227-257.details
|
|
Précis of Understanding Truth.Scott Soames - 2002 - Philosophy and Phenomenological Research 65 (2):397-401.details
|
|
A Theory of Formal Truth Arithmetically Equivalent to ID 1.Andrea Cantini - 1990 - Journal of Symbolic Logic 55 (1):244-259.details
|
|
(1 other version)Truth, Vagueness, and Paradox. An Essay on the Logic of Truth.Vann Mcgee & Giovanni Sommaruga-Rosolemos - 1993 - Critica 25 (73):83-108.details
|
|
Relative truth definability of axiomatic truth theories.Kentaro Fujimoto - 2010 - Bulletin of Symbolic Logic 16 (3):305-344.details
|
|
Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
KF, PKF and Reinhardt’s Program.Luca Castaldo & Johannes Stern - 2022 - Review of Symbolic Logic (1):33-58.details
|
|
(1 other version)Truth, Partial Logic and Infinitary Proof Systems.Martin Fischer & Norbert Gratzl - 2017 - Studia Logica 106 (3):1-26.details
|
|
Truth and Paradox: Solving the Riddles.Tim Maudlin - 2004 - Studia Logica 85 (2):277-281.details
|
|
Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.details
|
|
Axiomatic Theories of Truth.Volker Halbach - 2010 - Cambridge, England: Cambridge University Press.details
|
|
(1 other version)Truth, Vagueness and Paradox. An Essay on the Logic of Truth.Vann Mcgee - 1992 - Studia Logica 51 (2):340-341.details
|
|
Axiomatizing semantic theories of truth?Martin Fischer, Volker Halbach, Jönne Kriener & Johannes Stern - 2015 - Review of Symbolic Logic 8 (2):257-278.details
|
|
Truth, Vagueness, and Paradox: An Essay on the Logic of Truth.Vann McGee - 1990 - Indianapolis, IN, USA: Hackett.details
|
|
(1 other version)Notes on Formal Theories of Truth.Andrea Cantini - 1989 - Mathematical Logic Quarterly 35 (2):97-130.details
|
|
(1 other version)Notes on Formal Theories of Truth.Andrea Cantini - 1989 - Zeitshrift für Mathematische Logik Und Grundlagen der Mathematik 35 (1):97--130.details
|
|
Reflecting on incompleteness.Solomon Feferman - 1991 - Journal of Symbolic Logic 56 (1):1-49.details
|
|
Supervaluation fixed-point logics of truth.Philip Kremer & Alasdair Urquhart - 2008 - Journal of Philosophical Logic 37 (5):407-440.details
|
|
(1 other version)Truth, Partial Logic and Infinitary Proof Systems.Norbert Gratzl & Martin Fischer - 2018 - Studia Logica 106 (3):515-540.details
|
|
Levity.Leon Horsten - 2009 - Mind 118 (471):555-581.details
|
|
A theory of formal truth arithmetically equivalent to ID.Andrea Cantini - 1990 - Journal of Symbolic Logic 55 (1):244 - 259.details
|
|
Truths, Inductive Definitions, and Kripke-Platek Systems Over Set Theory.Kentaro Fujimoto - 2018 - Journal of Symbolic Logic 83 (3):868-898.details
|
|