Showing math.LOShow all
3 papers · 1 filter
math.LO2026
Indicative conditionals: from three to four values
Umberto Rivieccio, Miguel Muñoz Pérez
In this work we study how one may expand some three-valued logics of indicative conditionals by the addition of a fourth truth-value. This is achieved through the use of twist cons…
math.LO2026
Recovery operators in quasi-Nelson logic: the prelinear case
Tommaso Flaminio, Lluis Godo, Umberto Rivieccio
This paper investigates recovery operators in quasi-Nelson logic, the algebraizable logical counterpart of quasi-Nelson algebras. These form a variety of three-potent, distributive…
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…