Partial Valuations Hide the Contaminating Value
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.
Authors
- Daniel Wessel (ORCID: https://orcid.org/0000-0002-6768-4457)
Institutions
- LMU Klinikum (DE)
- Ludwig-Maximilians-Universität München (DE)
Publication Details
- Journal
- The Australasian Journal of Logic
- Published
- 2026-01-12
- DOI
- https://doi.org/10.26686/ajl.v23i1.9874
- Primary Topic
- Advanced Algebra and Logic
- Type
- article
- Field-Weighted Citation Impact
- 0.00