Partial Valuations Hide the Contaminating Value
Abstract
Partial truth assignments give rise to Boolean-valued semantics for both paracomplete and paraconsistent weak Kleene logic. To accommodate partiality, the semantic consequence relation of classical propositional logic is adjusted in two natural ways, linked by a duality principle.
Fields of Study & Subjects
Advanced Algebra and Logic
Logic
Reasoning
and Knowledge
Philosophy
Science
and History
Publication details
- Journal / source
- The Australasian Journal of Logic
- Volume
- 23
- Issue
- 1
- Pages
- 79–90
- Publication date
- 12 January 2026
- Language
- EN