Showing math.LOShow all
2 papers · 1 filter
math.LO2024
Modal weak Kleene logics: axiomatizations and relational semantics
Stefano Bonzio, Nicolò Zamperlin
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…
math.LO2024
Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities
Tomasz Jarmuzek, Jacek Malinowski, Aleksander Parol +1
In the article we investigate three classes of extended Boolean Connexive Logics. Two of them are extensions of Modal and non-Modal Boolean Connexive Logics with a property of clos…