30 citations · 41 across the 14 of their papers we have counts for
4 papers · 1 filter
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…
Nelson algebras, residuated lattices and rough sets: A survey
Jouni Järvinen, Sándor Radeleczki, Umberto Rivieccio
Over the past 50 years, Nelson algebras have been extensively studied by distinguished scholars as the algebraic counterpart of Nelson's constructive logic with strong negation. De…
Generating proof systems for three-valued propositional logics
Vitor Greati, Giuseppe Greco, Sérgio Marcelino +2
In general, providing an axiomatization for an arbitrary logic is a task that may require some ingenuity. In the case of logics defined by a finite logical matrix (three-valued log…
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…