A note on three-valued logic and Tarski theorem on truth definitions

Studia Logica 39 (4):405 - 414 (1980)
  Copy   BIBTEX

Abstract

We introduce a notion of semantical closure for theories by formalizing Nepeivoda notion of truth. [10]. Tarski theorem on truth definitions is discussed in the light of Kleene's three valued logic (here treated with a formal reinterpretation of logical constants). Connections with Definability Theory are also established.

Categories

Keywords

Reprint years

DOI

10.1007/bf00713550

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,888

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

Truth and the Liar in De Morgan-Valued Models.Hannes Leitgeb - 1999 - Notre Dame Journal of Formal Logic 40 (4):496-514.
A Note Concerning The Notion Of Satisfiability.Leon Horsten - 2004 - Logique Et Analyse 47.
Fuzzy Topology and Łukasiewicz Logics from the Viewpoint of Duality Theory.Yoshihiro Maruyama - 2010 - Studia Logica 94 (2):245-269.
Definability and quantifier elimination for j3-theories.Ítala M. L. D'Ottaviano - 1987 - Studia Logica 46 (1):37 - 54.
A New Proof of the McKinsey–Tarski Theorem.G. Bezhanishvili, N. Bezhanishvili, J. Lucero-Bryan & J. van Mill - 2018 - Studia Logica 106 (6):1291-1311.
A remark on functional completeness of binary expansions of Kleene’s strong 3-valued logic.Gemma Robles & José M. Méndez - 2022 - Logic Journal of the IGPL 30 (1):21-33.
A New Proof of the McKinsey–Tarski Theorem.J. Mill, J. Lucero-Bryan, N. Bezhanishvili & G. Bezhanishvili - 2018 - Studia Logica 106 (6):1291-1311.
Undefinability of truth. the problem of priority:tarski vs gödel.Roman Murawski - 1998 - History and Philosophy of Logic 19 (3):153-160.
A modal theorem-preserving translation of a class of three-valued logics of incomplete information.D. Ciucci & D. Dubois - 2013 - Journal of Applied Non-Classical Logics 23 (4):321-352.
Naive Infinitism: The Case for an Inconsistency Approach to Infinite Collections.Toby Meadows - 2015 - Notre Dame Journal of Formal Logic 56 (1):191-212.

Analytics

Added to PP
2009-01-28

Downloads
66 (#319,882)

6 months
7 (#704,497)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Andrea Cantini
Università degli Studi di Firenze

Citations of this work

Toward useful type-free theories. I.Solomon Feferman - 1984 - Journal of Symbolic Logic 49 (1):75-111.
Notes on Formal Theories of Truth.Andrea Cantini - 1989 - Zeitshrift für Mathematische Logik Und Grundlagen der Mathematik 35 (1):97--130.
Notes on Formal Theories of Truth.Andrea Cantini - 1989 - Mathematical Logic Quarterly 35 (2):97-130.

Add more citations

References found in this work

Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
An extension of basic logic.Frederic B. Fitch - 1948 - Journal of Symbolic Logic 13 (2):95-106.

Add more references