Showing math.LOShow all
3 papers · 1 filter
math.LO2024
Equivalence of finite non-deterministic logical matrices is undecidable
Carlos Caleiro, Pedro Filipe, Sérgio Marcelino
The notion of a non-deterministic logical matrix (where connectives are interpreted as multi-functions) extends the traditional semantics for propositional logics based on logical…
math.LO2024
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…
math.LO2024
Finite Hilbert systems for Weak Kleene logics
Vitor Greati, Sérgio Marcelino, Umberto Rivieccio
Multiple-conclusion Hilbert-style systems allow us to finitely axiomatize every logic defined by a finite matrix. Having obtained such axiomatizations for Paraconsistent Weak Kleen…