Conjoining, Disjoining, and Bunching Formulae in Weak Kleene Logics

BORZI, AGUSTINA; FIORE, CAMILLO G.

Ciudad Autónoma de Buenos Aires

Congreso; 17th International Congress on Logic, Methodology and Philosophy of Science and Technology; 2023

The main objective of this talk is to restore the equivalence of the metalinguistic comma to that of the operations available in the language in both paracomplete and paraconsistent Weak Kleene logics. We present two different ways to accomplish that goal: first, we explore logics in which formulas are bunched together in accordance with the Weak Kleene connectives, and secondly, we study systems where it is made explicit (at the language level) the different ways of conjoining and disjoining available in Weak Kleene logics.