Notes on Formal Theories of Truth

Zeitshrift für Mathematische Logik Und Grundlagen der Mathematik 35 (1):97--130 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19890350202

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Theories and Theories of Truth.Ryan Christensen - 2011 - Metaphysica 12 (1):31-43.
Truth.Simon Blackburn & Keith Simmons (eds.) - 1999 - New York: Oxford University Press.
A note on three-valued logic and Tarski theorem on truth definitions.Andrea Cantini - 1980 - Studia Logica 39 (4):405 - 414.
Yablo sequences in truth theories.Cezary Cieśliński - 2013 - In K. Lodaya (ed.), Logic and Its Applications, Lecture Notes in Computer Science LNCS 7750. Springer. pp. 127--138.
Levels of Truth.Andrea Cantini - 1995 - Notre Dame Journal of Formal Logic 36 (2):185-213.
A theory of formal truth arithmetically equivalent to ID.Andrea Cantini - 1990 - Journal of Symbolic Logic 55 (1):244 - 259.
Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.
Editorial introduction.Volker Halbach - 2001 - Studia Logica 68 (1):3-20.
True, false, paranormal and 'designated'?: A reply to Jenkins.Colin Ready Caret & Aaron Cotnoir - 2008 - Analysis 68 (3):238–244.
Theories of truth which have no standard models.Hannes Leitgeb - 2001 - Studia Logica 68 (1):69-87.
Logical frameworks for truth and abstraction: an axiomatic study.Andrea Cantini (ed.) - 1996 - New York: Elsevier Science B.V..
Notes on the mathematical aspects of Kripke’s theory of truth.Melvin Fitting - 1986 - Notre Dame Journal of Formal Logic 27 (1):75-88.
Relative truth definability of axiomatic truth theories.Kentaro Fujimoto - 2010 - Bulletin of Symbolic Logic 16 (3):305-344.

Analytics

Added to PP
2011-07-09

Downloads
69 (#227,621)

6 months
7 (#339,156)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Andrea Cantini
Università degli Studi di Firenze

Citations of this work

Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.
On the Costs of Nonclassical Logic.Volker Halbach & Carlo Nicolai - 2018 - Journal of Philosophical Logic 47 (2):227-257.
Axiomatizing Kripke’s Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.
Classes and truths in set theory.Kentaro Fujimoto - 2012 - Annals of Pure and Applied Logic 163 (11):1484-1523.

View all 52 citations / Add more citations

References found in this work

Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
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..
Recursion-theoretic hierarchies.Peter G. Hinman - 1978 - New York: Springer Verlag.
Proof theory.K. Schütte - 1977 - New York: Springer Verlag.

View all 9 references / Add more references