Year: 2026
Type: article
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.
Author: Daniel Misselbeck-Wessel
Institution: Ludwig-Maximilians-Universität München
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond
OpenAlex ID: W7123615333
FWCI:
Cites:
Cited by:
Related to: