Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If you need an accessible version of this item please contact JSTOR User Support

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
  • Download ($43.95)
  • Cite this Item
If you need an accessible version of this item please contact JSTOR User Support
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