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.