A theory of truth that prefers falsehood
From MaRDI portal
Publication:1366760
DOI10.1023/A:1004217812355zbMath0880.03003MaRDI QIDQ1366760
Publication date: 17 September 1997
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
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