- Axiomatische Wahrheitstheorien.Volker Halbach - 1996 - De Gruyter.details
|
|
(1 other version)Formal Philosophy. Selected Papers of Richard Montague.Richard Montague & Richmond H. Thomason - 1975 - Erkenntnis 9 (2):252-286.details
|
|
(1 other version)A System Of Complete And Consistent Truth.Volker Halbach - 1994 - Notre Dame Journal of Formal Logic 35 (3):311-327.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
|
|
(1 other version)Notes on Formal Theories of Truth.Andrea Cantini - 1989 - Mathematical Logic Quarterly 35 (2):97-130.details
|
|
Minimalism, epistemicism, and paradox.Bradley Armour-Garb & J. C. Beall - 2005 - In Jc Beall & Bradley P. Armour-Garb (eds.), Deflationism and Paradox. Oxford, England: Oxford University Press.details
|
|
On Representing True-in-L'in L Robert L. Martin and Peter W. Woodruff.Robert L. Martin - 1984 - In Robert Lazarus Martin (ed.), Recent essays on truth and the liar paradox. New York: Oxford University Press. pp. 47.details
|
|
(1 other version)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 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
|
|
(1 other version)Truth and reduction.Volker Halbach - 2000 - Erkenntnis 53 (1-2):97-126.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
|
|
Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.details
|
|
Systems of predicative analysis.Solomon Feferman - 1964 - Journal of Symbolic Logic 29 (1):1-30.details
|
|
(1 other version)Transfinite recursive progressions of axiomatic theories.Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (3):259-316.details
|
|
The Revision Theory of Truth. [REVIEW]Vann McGee - 1996 - Philosophy and Phenomenological Research 56 (3):727-730.details
|
|
(1 other version)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
|
|
Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.details
|
|
(1 other version)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
|
|
(1 other version)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
|
|
(1 other version)The Notion of Logical Consequence in the Logic of Inexact Predicates.John P. Cleave - 1974 - Mathematical Logic Quarterly 20 (19‐22):307-324.details
|
|
Truth, probability, and naive criteria.Michael Sheard - 2002 - In Volker Halbach & Leon Horsten (eds.), Principles of truth. New York: Hänsel-Hohenhausen. pp. 169-182.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
|
|
Truth, Vagueness, and Paradox: An Essay on the Logic of Truth.Vann McGee - 1990 - Indianapolis, IN, USA: Hackett.details
|
|
A theory of formal truth arithmetically equivalent to ID.Andrea Cantini - 1990 - Journal of Symbolic Logic 55 (1):244 - 259.details
|
|
(2 other versions)Elementary Induction on Abstract Structures.Wayne Richter - 1979 - Journal of Symbolic Logic 44 (1):124-125.details
|
|
Replacement of Auxiliary Expressions.William Craig - 1956 - Philosophical Review 65 (1):38-55.details
|
|
(3 other versions)Formal Philosophy: Selected Papers of Richard Montague.Richmond H. Thomason & Richard Montague - 1976 - Foundations of Language 14 (3):413-418.details
|
|
(1 other version)Replacement of Auxiliary Expressions.W. C. - 1956 - Philosophical Review 65:38.details
|
|
(1 other version)A System of Complete and Consistent Truth.Volker Halbach - 1994 - Notre Dame Journal of Formal Logic 35 (1):311--27.details
|
|
Truth and paradox: solving the riddles.Tim Maudlin - 2004 - New York: Oxford University Press.details
|
|
Recent essays on truth and the liar paradox.Robert Lazarus Martin (ed.) - 1984 - New York: Oxford University Press.details
|
|
Kripke and the logic of truth.Michael Kremer - 1988 - Journal of Philosophical Logic 17 (3):225 - 278.details
|
|
Truth and Paradox: Solving the Riddles.Tim Maudlin - 2004 - Studia Logica 85 (2):277-281.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
|
|
(1 other version)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
|
|
Axiomatische Wahrheitstheorien.Volker Halbach - 1999 - Studia Logica 63 (1):138-140.details
|
|
On representing ‘true-in-L’ in L.Robert L. Martin - 1975 - Philosophia 5 (3):213-217.details
|
|
(1 other version)Replacement of auxiliary expressions.W. C. - 1956 - Philosophical Review 65 (1):38-55.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
|
|
(1 other version)The Calculus of Partial Predicates and Its Extension to Set Theory I.Hao Wang - 1961 - Mathematical Logic Quarterly 7 (17-18):283-288.details
|
|