- Inductive Full Satisfaction Classes.Henryk Kotlarski & Zygmunt Ratajczyk - 1990 - Annals of Pure and Applied Logic 47 (1):199--223.details
|
|
The Disjunction and Existence Properties for Axiomatic Systems of Truth.Harvey Friedman & Michael Sheard - 1987 - Annals of Pure and Applied Logic 40 (1):1--10.details
|
|
An Axiomatic Approach to Self-Referential Truth.Harvey Friedman & Michael Sheard - 1987 - Annals of Pure and Applied Logic 33 (1):1--21.details
|
|
The Epistemic Lightness of Truth: Deflationism and its Logic.Cezary Cieśliński - 2017 - Cambridge, United Kingdom: Cambridge University Press.details
|
|
The concept of truth in formalized languages.Alfred Tarski - 1956 - In Logic, semantics, metamathematics. Oxford,: Clarendon Press. pp. 152--278.details
|
|
New Constructions of Satisfaction Classes.Albert Visser & Ali Enayat - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer.details
|
|
Complexity and Hierarchy in Truth Predicates.Michael Glanzberg - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer.details
|
|
Paradox without Self-Reference.Stephen Yablo - 1993 - Analysis 53 (4):251-252.details
|
|
Notes on bounded induction for the compositional truth predicate.Bartosz Wcisło & Mateusz Łełyk - 2017 - Review of Symbolic Logic 10 (3):455-480.details
|
|
A System of Complete and Consistent Truth.Volker Halbach - 1994 - Notre Dame Journal of Formal Logic 35 (1):311--27.details
|
|
Deflationism and the gödel phenomena.Neil Tennant - 2002 - Mind 111 (443):551-582.details
|
|
Weak and strong theories of truth.Michael Sheard - 2001 - Studia Logica 68 (1):89-101.details
|
|
Truth, probability, and naive criteria.Michael Sheard - 2002 - In Volker Halbach & Leon Horsten (eds.), Principles of Truth. Dr. Hänsel-Hohenhausen. pp. 169-182.details
|
|
A guide to truth predicates in the modern era.Michael Sheard - 1994 - Journal of Symbolic Logic 59 (3):1032-1054.details
|
|
Proof and Truth.Stewart Shapiro - 1998 - Journal of Philosophy 95 (10):493-521.details
|
|
Deflation and conservation.Stewart Shapiro - 2002 - In Volker Halbach & Leon Horsten (eds.), Principles of Truth. Dr. Hänsel-Hohenhausen. pp. 103-128.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
|
|
A Note on Typed Truth and Consistency Assertions.Carlo Nicolai - 2016 - Journal of Philosophical Logic 45 (1):89-119.details
|
|
How truthlike can a predicate be? A negative result.Vann McGee - 1985 - Journal of Philosophical Logic 14 (4):399 - 410.details
|
|
Truth and paradox: solving the riddles.Tim Maudlin - 2004 - New York: Oxford University Press.details
|
|
Theories of truth which have no standard models.Hannes Leitgeb - 2001 - Studia Logica 68 (1):69-87.details
|
|
The Friedman—Sheard programme in intuitionistic logic.Graham E. Leigh & Michael Rathjen - 2012 - Journal of Symbolic Logic 77 (3):777-806.details
|
|
An ordinal analysis for theories of self-referential truth.Graham Emil Leigh & Michael Rathjen - 2010 - Archive for Mathematical Logic 49 (2):213-247.details
|
|
Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.details
|
|
Reflection Principles and Their Use for Establishing the Complexity of Axiomatic Systems.Georg Kreisel & Azriel Lévy - 1968 - Zeitschrift für Mathematische Logic Und Grundlagen der Mathematik 14 (1):97--142.details
|
|
Kripke and the logic of truth.Michael Kremer - 1988 - Journal of Philosophical Logic 17 (3):225 - 278.details
|
|
More on induction in the language with a satisfaction class.Henryk Kotlarski & Zygmunt Ratajczyk - 1990 - Mathematical Logic Quarterly 36 (5):441-454.details
|
|
Truth in applicative theories.Reinhard Kahle - 2001 - Studia Logica 68 (1):103-128.details
|
|
The Tarskian Turn: Deflationism and Axiomatic Truth.Leon Horsten - 2011 - MIT Press.details
|
|
Truth is Simple.Leon Horsten & Graham E. Leigh - 2017 - Mind 126 (501):195-232.details
|
|
Truth and disquotation.Richard G. Heck - 2005 - Synthese 142 (3):317--352.details
|
|
Consistency and the theory of truth.Richard Heck - 2015 - Review of Symbolic Logic 8 (3):424-466.details
|
|
Reducing compositional to disquotational truth.Volker Halbach - 2009 - Review of Symbolic Logic 2 (4):786-798.details
|
|
Disquotational truth and analyticity.Volker Halbach - 2001 - Journal of Symbolic Logic 66 (4):1959-1973.details
|
|
Classes and truths in set theory.Kentaro Fujimoto - 2012 - Annals of Pure and Applied Logic 163 (11):1484-1523.details
|
|
Inexhaustibility: A Non-Exhaustive Treatment.Torkel Franzén - 2003 - Association for Symbolic Logic.details
|
|
A revenge-immune solution to the semantic paradoxes.Hartry Field - 2003 - Journal of Philosophical Logic 32 (2):139-177.details
|
|
Transfinite recursive progressions of axiomatic theories.Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (3):259-316.details
|
|
Toward useful type-free theories. I.Solomon Feferman - 1984 - Journal of Symbolic Logic 49 (1):75-111.details
|
|
Reflecting on incompleteness.Solomon Feferman - 1991 - Journal of Symbolic Logic 56 (1):1-49.details
|
|
Axioms for determinateness and truth.Solomon Feferman - 2008 - Review of Symbolic Logic 1 (2):204-217.details
|
|
Truth, Conservativeness, and Provability.Cezary Cieśliński - 2010 - Mind 119 (474):409-422.details
|
|
Deflationism, conservativeness and maximality.Cezary Cieśliński - 2007 - Journal of Philosophical Logic 36 (6):695 - 705.details
|
|
Notes on Formal Theories of Truth.Andrea Cantini - 1989 - Zeitshrift für Mathematische Logik Und Grundlagen der Mathematik 35 (1):97--130.details
|
|
A theory of formal truth arithmetically equivalent to ID.Andrea Cantini - 1990 - Journal of Symbolic Logic 55 (1):244 - 259.details
|
|
Frege Structures and the notions of proposition, truth and set.Peter Aczel - 1980 - Journal of Symbolic Logic 51 (1):244-246.details
|
|
Truth and Modality.Raymond Turner - 1990 - Pitman.details
|
|
Models of Peano Arithmetic.Richard Kaye - 1991 - Clarendon Press.details
|
|
Saving truth from paradox.Hartry H. Field - 2008 - New York: Oxford University Press.details
|
|
Logical frameworks for truth and abstraction: an axiomatic study.Andrea Cantini (ed.) - 1996 - New York: Elsevier Science B.V..details
|
|