- Elementary Induction on Abstract Structures.Wayne Richter - 1979 - Journal of Symbolic Logic 44 (1):124-125.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
|
|
Axiomatische Wahrheitstheorien.Volker Halbach - 1996 - De Gruyter.details
|
|
Replacement of auxiliary expressions.W. C. - 1956 - Philosophical Review 65 (1):38-55.details
|
|
The Calculus of Partial Predicates and Its Extension to Set Theory I.Hao Wang - 1961 - Mathematical Logic Quarterly 7 (17‐18):283-288.details
|
|
The Calculus of Partial Predicates and Its Extension to Set Theory I.Hao Wang - 1961 - Mathematical Logic Quarterly 7 (17-18):283-288.details
|
|
A System of Complete and Consistent Truth.Volker Halbach - 1994 - Notre Dame Journal of Formal Logic 35 (1):311--27.details
|
|
A. S. Troelstra and H. Schwichtenberg. Basic proof theory. Second edition of jsl lxiii 1605. Cambridge tracts in theoretical computer science, no. 43. cambridge university press, cambridge, new York, etc., 2000, XII + 417 pp.Roy Dyckhoff - 2001 - Bulletin of Symbolic Logic 7 (2):280-280.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
|
|
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
|
|
Truth and paradox: solving the riddles.Tim Maudlin - 2004 - New York: Oxford University Press.details
|
|
On representing ‘true-in-L’ in L.Robert L. Martin - 1975 - Philosophia 5 (3):213-217.details
|
|
Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.details
|
|
Kripke and the logic of truth.Michael Kremer - 1988 - Journal of Philosophical Logic 17 (3):225 - 278.details
|
|
The Strong Completeness of a System for Kleene's Three‐Valued Logic.John T. Kearns - 1979 - Mathematical Logic Quarterly 25 (3‐6):61-68.details
|
|
The Strong Completeness of a System for Kleene's Three‐Valued Logic.John T. Kearns - 1979 - Mathematical Logic Quarterly 25 (3-6):61-68.details
|
|
The Strong Completeness of a System Based on Kleene's Strong Three-Valued Logic.Hiroshi Aoyama - 1994 - Notre Dame Journal of Formal Logic 35 (3):355-368.details
|
|
Truth and reduction.Volker Halbach - 2000 - Erkenntnis 53 (1-2):97-126.details
|
|
Axiomatische Wahrheitstheorien.Volker Halbach - 1999 - Studia Logica 63 (1):138-140.details
|
|
A System Of Complete And Consistent Truth.Volker Halbach - 1994 - Notre Dame Journal of Formal Logic 35 (3):311-327.details
|
|
The Revision Theory of Truth. [REVIEW]Vann McGee - 1996 - Philosophy and Phenomenological Research 56 (3):727-730.details
|
|
Transfinite recursive progressions of axiomatic theories.Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (3):259-316.details
|
|
Systems of predicative analysis.Solomon Feferman - 1964 - Journal of Symbolic Logic 29 (1):1-30.details
|
|
Replacement of Auxiliary Expressions.W. C. - 1956 - Philosophical Review 65:38.details
|
|
The Notion of Logical Consequence in the Logic of Inexact Predicates.John P. Cleave - 1974 - Mathematical Logic Quarterly 20 (19‐22):307-324.details
|
|
The Notion of Logical Consequence in the Logic of Inexact Predicates.John P. Cleave - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (19-22):307-324.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
|
|
A theory of formal truth arithmetically equivalent to ID.Andrea Cantini - 1990 - Journal of Symbolic Logic 55 (1):244 - 259.details
|
|
Truth, Vagueness, and Paradox: An Essay on the Logic of Truth.Vann McGee - 1990 - Indianapolis, IN, USA: Hackett.details
|
|
Recent essays on truth and the liar paradox.Robert Lazarus Martin (ed.) - 1984 - New York: Oxford University Press.details
|
|
Truth and Paradox: Solving the Riddles.Tim Maudlin - 2004 - Studia Logica 85 (2):277-281.details
|
|
Truth, Vagueness and Paradox. An Essay on the Logic of Truth.Vann Mcgee - 1992 - Studia Logica 51 (2):340-341.details
|
|
Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.details
|
|
Minimalism, epistemicism, and paradox.Bradley Armour-Garb & J. C. Beall - 2005 - In J. C. Beall & Bradley Armour-Garb (eds.), Deflationism and Paradox. Oxford, UK: Oxford University Press.details
|
|
Replacement of Auxiliary Expressions.William Craig - 1956 - Philosophical Review 65 (1):38-55.details
|
|
Formal Philosophy. Selected Papers of Richard Montague.Richard Montague & Richmond H. Thomason - 1975 - Erkenntnis 9 (2):252-286.details
|
|
Formal Philosophy: Selected Papers of Richard Montague.Richmond H. Thomason & Richard Montague - 1976 - Foundations of Language 14 (3):413-418.details
|
|
Truth, Vagueness, and Paradox. An Essay on the Logic of Truth.Vann Mcgee & Giovanni Sommaruga-Rosolemos - 1993 - Critica 25 (73):83-108.details
|
|
On Representing True-in-L'in L Robert L. Martin and Peter W. Woodruff.Robert L. Martin - 1984 - In Recent Essays on Truth and the Liar Paradox. Oxford University Press. pp. 47.details
|
|