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
You can always find the topics here!Topics: Predicates, Truth, Three valued logic, Logical theorems, Tarskis theorem, Definability, Theoretical linguistics, Cognitive space, Logical constants, Grammatical clauses
Were these topics helpful?See somethings inaccurate? Let us know!
Select the topics that are inaccurate.
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