Construction of Truth Predicates: Approximation Versus Revision

DOI10.2307/420955MaRDI QIDQ4254566zbMATH OpenOpenAlexFDO

Authors Juan Barba

Publication date 13 March 2000

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL http://www.math.ucla.edu/~asl/bsl/0404-toc.htm

zbMATH Keywords

fixed point theoriesformal constructions of truth predicatesrevision theories of truthstable falsitystable truth

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Paraconsistent logics (03B53) Other nonclassical logic (03B60)

Recommendations

• Comparing fixed-point and revision theories of truth
• On Gupta-Belnap revision theories of truth, Kripkean fixed points and the next stable set
• Revision without revision sequences: self-referential truth
• A guide to truth predicates in the modern era

Cites work

• Bilattices and the theory of truth
• Four valued semantics and the Liar
• scientific article; zbMATH DE number 4010467 (Why is no real title available?)
• scientific article; zbMATH DE number 44058 (Why is no real title available?)
• scientific article; zbMATH DE number 50690 (Why is no real title available?)
• scientific article; zbMATH DE number 795569 (Why is no real title available?)
• Notes on naive semantics
• Notes on the mathematical aspects of Kripke's theory of truth
• Paradox, truth and logic. I. Paradox and truth
• Some theorems on the expressive limitations of modal languages

Cited in

(7)

• Notes on the mathematical aspects of Kripke's theory of truth
• Revision without revision sequences: self-referential truth
• Comparing more revision and fixed-point theories of truth
• On Gupta-Belnap revision theories of truth, Kripkean fixed points and the next stable set
• A guide to truth predicates in the modern era
• Axiomatizing Kripke's theory of truth
• Comparing fixed-point and revision theories of truth

This page was built for publication: Construction of Truth Predicates: Approximation Versus Revision

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4254566)