You are not currently logged in.
Access JSTOR through your library or other institution:
A Note on Three-Valued Logic and Tarski Theorem on Truth Definitions
Studia Logica: An International Journal for Symbolic Logic
Vol. 39, No. 4 (1980), pp. 405-414
Published by: Springer
Stable URL: http://www.jstor.org/stable/20014998
Page Count: 10
Preview not available
We introduce a notion of semantical closure for theories by formalizing Nepeivoda notion of truth . 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.
Studia Logica: An International Journal for Symbolic Logic © 1980 Springer