Axiomatizing the Logic of Ordinary Discourse

Vitor Greati, Sérgio Marcelino, Umberto Rivieccio

Most non-classical logics are subclassical, that is, every inference/theorem they validate is also valid classically. A notable exception is the three-valued propositional Logic of…