Truth and the liar in De Morgan-valued models

DOI10.1305/ndjfl/1012429715zbMath0989.03009OpenAlexW2003847137MaRDI QIDQ1347605

Hannes Leitgeb

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

zbMATH Keywords

truth predicateDe Morgan latticesalgebraic account of truthDe Morgan-valued truth modelssemantical closure

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Other algebras related to logic (03G25)

Related Items (6)

CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH ⋮ One step is enough ⋮ HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) ⋮ MODAL MODELS FOR BRADWARDINE'S THEORY OF TRUTH ⋮ The Strict/Tolerant Idea and Bilattices ⋮ Contextual-hierarchical reconstructions of the strengthened liar problem

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

This page was built for publication: Truth and the liar in De Morgan-valued models