Access

You are not currently logged in.

Access JSTOR through your library or other institution:

login

Log in through your institution.

Journal Article

A Note on Three-Valued Logic and Tarski Theorem on Truth Definitions

Andrea Cantini
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
Were these topics helpful?
See somethings inaccurate? Let us know!

Select the topics that are inaccurate.

Cancel
  • Download ($43.95)
  • Add to My Lists
  • Cite this Item
A Note on Three-Valued Logic and Tarski Theorem on Truth Definitions
Preview not available

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.

Page Thumbnails

  • Thumbnail: Page 
[405]
    [405]
  • Thumbnail: Page 
406
    406
  • Thumbnail: Page 
407
    407
  • Thumbnail: Page 
408
    408
  • Thumbnail: Page 
409
    409
  • Thumbnail: Page 
410
    410
  • Thumbnail: Page 
411
    411
  • Thumbnail: Page 
412
    412
  • Thumbnail: Page 
413
    413
  • Thumbnail: Page 
414
    414