Truth and the liar in De Morgan-valued models
From MaRDI portal
Publication:1347605
DOI10.1305/ndjfl/1012429715zbMath0989.03009MaRDI QIDQ1347605
Publication date: 29 April 2002
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1012429715
truth predicate; De Morgan lattices; algebraic account of truth; De Morgan-valued truth models; semantical closure
03A05: Philosophical and critical aspects of logic and foundations
03G25: Other algebras related to logic
Related Items
CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH, MODAL MODELS FOR BRADWARDINE'S THEORY OF TRUTH
Cites Work
- Paradox, truth and logic. I. Paradox and truth
- Four valued semantics and the Liar
- Outline of a Theory of Truth
- Lattices With Involution
- Truth as translation. Part A
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item