- 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
|
|
Fixing Frege.John P. Burgess - 2005 - Princeton University Press.details
|
|
Fixing Frege.John P. Burgess - 2005 - Princeton University Press.details
|
|
Don't eliminate cut.George Boolos - 1984 - Journal of Philosophical Logic 13 (4):373 - 378.details
|
|
Philosophy of Logic.W. V. O. Quine - 2005-01-01 - In José Medina & David Wood (eds.), Truth. Blackwell.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
|
|
Philosophy of logic.Willard Van Orman Quine - 1970 - Cambridge, Mass.: Harvard University Press. Edited by Simon Blackburn & Keith Simmons.details
|
|
Cuts, consistency statements and interpretations.Pavel Pudlák - 1985 - Journal of Symbolic Logic 50 (2):423-441.details
|
|
On Mathematical Instrumentalism.Patrick Caldon & Aleksandar Ignjatović - 2005 - Journal of Symbolic Logic 70 (3):778 - 794.details
|
|
A note on the undefinability of cuts.J. B. Paris & C. Dimitracopoulos - 1983 - Journal of Symbolic Logic 48 (3):564-569.details
|
|
Maximal consistent sets of instances of Tarski’s schema.Vann McGee - 1992 - Journal of Philosophical Logic 21 (3):235 - 241.details
|
|
What theories of truth should be like (but cannot be).Hannes Leitgeb - 2007 - Philosophy Compass 2 (2):276–290.details
|
|
Conservativity for theories of compositional truth via cut elimination.Graham E. Leigh - 2015 - Journal of Symbolic Logic 80 (3):845-865.details
|
|
Deflationism and Tarski’s Paradise.Jeffrey Ketland - 1999 - Mind 108 (429):69-94.details
|
|
Philosophy of Logic.Michael Jubien & W. V. Quine - 1988 - Journal of Symbolic Logic 53 (1):303.details
|
|
The Tarskian Turn: Deflationism and Axiomatic Truth.Leon Horsten - 2011 - MIT Press.details
|
|
Disquotationalism and infinite conjunctions.Volker Halbach - 1999 - Mind 108 (429):1-22.details
|
|
A Critique of Deflationism.Anil Gupta - 1993 - Philosophical Topics 21 (1):57-81.details
|
|
A Critique of Deflationism.Anil Gupta - 1993 - Philosophical Topics 21 (2):57-81.details
|
|
Relative truth definability of axiomatic truth theories.Kentaro Fujimoto - 2010 - Bulletin of Symbolic Logic 16 (3):305-344.details
|
|
Review: Alfred Tarski, Undecidable Theories. [REVIEW]Martin Davis - 1959 - Journal of Symbolic Logic 24 (2):167-169.details
|
|
Notes on Formal Theories of Truth.Andrea Cantini - 1989 - Zeitshrift für Mathematische Logik Und Grundlagen der Mathematik 35 (1):97--130.details
|
|
Notes on Formal Theories of Truth.Andrea Cantini - 1989 - Mathematical Logic Quarterly 35 (2):97-130.details
|
|
Axiomatic Theories of Truth.Volker Halbach - 2010 - Cambridge, England: Cambridge University Press.details
|
|
Proof and Truth.Stewart Shapiro - 1998 - Journal of Philosophy 95 (10):493-521.details
|
|
Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Construction of Satisfaction Classes for Nonstandard Models.Henryk Kotlarski, Stanislav Krajewski & Alistair H. Lachlan - 1981 - Canadian Mathematical Bulletin 24 (1):283--93.details
|
|
The Semantical Paradoxes, the Neutrality of Truth and the Neutrality of the Minimalist Theory of Truth.Leon Horsten - 1995 - In P. Cartois (ed.), The Many Problems of Realism (Studies in the General Philosophy of Science: Volume 3). Tilberg University Press.details
|
|
Undecidable Theories.Alfred Tarski, Andrzej Mostowski & Raphael M. Robinson - 1953 - Philosophy 30 (114):278-279.details
|
|
The Strength of Truth-Theories.Richard Heck - manuscriptdetails
|
|
John P. Burgess, Fixing Frege. [REVIEW]Pierre Swiggers - 2006 - Tijdschrift Voor Filosofie 68 (3):665-665.details
|
|
Metamathematics of First-Order Arithmetic.Petr Hajék & Pavel Pudlák - 1994 - Studia Logica 53 (3):465-466.details
|
|
Metamathematics of First-Order Arithmetic.P. Hájek & P. Pudlák - 2000 - Studia Logica 64 (3):429-430.details
|
|
Undecidable Theories.Alfred Tarski - 1959 - British Journal for the Philosophy of Science 9 (36):321-327.details
|
|