A theory of truth that prefers falsehood

DOI10.1023/A:1004217812355zbMath0880.03003MaRDI QIDQ1366760

Melvin Fitting

Publication date: 17 September 1997

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

falsehoodsubclass of Kripke's fixed points

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items (6)

A family of strict/tolerant logics ⋮ Notes on the computational aspects of Kripke's theory of truth ⋮ Why Paraconsistent Logics? ⋮ The Strict/Tolerant Idea and Bilattices ⋮ The logic of generalized truth values and the logic of bilattices ⋮ Some useful 16-valued logics: How a computer network should think

Cites Work

• Unnamed Item
• Unnamed Item
• Paradox, truth and logic. I. Paradox and truth
• Four valued semantics and the Liar
• Truth and reflection
• Notes on the mathematical aspects of Kripke's theory of truth
• Bilattices and the theory of truth
• Intuitive semantics for first-degree entailments and `coupled trees'
• Truth and paradox
• A lattice-theoretical fixpoint theorem and its applications
• A kripke-kleene semantics for logic programs*
• Kleene's Logic, Generalized
• The optimal approach to recursive programs
• The family of stable models
• Outline of a Theory of Truth

This page was built for publication: A theory of truth that prefers falsehood