Stefano Bonzio

Modal weak Kleene logics: axiomatizations and relational semantics

2024 · arXiv (Cornell University)

Weak Kleene logics are three-valued logics characterized by the presence of an infectious truth-value. In their external versions, as they were originally introduced by Bochvar and Hallden, these systems are equipped with an additional connective …