30 citations · 41 across the 14 of their papers we have counts for
16 papers
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…
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…
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…
Some more theorems on structural entailment relations and non-deterministic semantics
Carlos Caleiro, Sérgio Marcelino, Umberto Rivieccio
We extend classical work by Janusz Czelakowski on the closure properties of the class of matrix models of entailment relations - nowadays more commonly called multiple-conclusion l…
Adding an Implication to Logics of Perfect Paradefinite Algebras
Vitor Greati, Sérgio Marcelino, João Marcos +1
Perfect paradefinite algebras are De Morgan algebras expanded with an operation that allows for the full behavior of classical negation to be restored. They form a variety that is…
Algebraizability of the Logic of Quasi-N4-Lattices
Clodomir Silva Lima Neto, Thiago Nascimento da Silva, Umberto Rivieccio
The class of quasi-N4-lattices (QN4-lattices) was introduced as a common generalization of quasi-Nelson algebras and N4-lattices, in such a way that N4-lattices are precisely the Q…
On Logics of Perfect Paradefinite Algebras
Joel Gomes, Vitor Greati, Sérgio Marcelino +2
The present study shows how to enrich De Morgan algebras with a perfection operator that allows one to express the Boolean properties of negation-consistency and negation-determine…
Logics of involutive Stone algebras
Sérgio Marcelino, Umberto Rivieccio
An involutive Stone algebra (IS-algebra) is a structure that is simultaneously a De Morgan algebra and a Stone algebra (i.e. a pseudo-complemented distributive lattice satisfying t…
Finite axiomatizability of logics of distributive lattices with negation
Sérgio Marcelino, Umberto Rivieccio
This paper focuses on order-preserving logics defined from varieties of distributive lattices with negation, and in particular on the problem of whether these can be axiomatized by…
Nelson's Logic S
Thiago Nascimento, Umberto Rivieccio, Joao Marcos +1
Besides the better-known Nelson logic (N3) and paraconsistent logic (N4), in 1959 David Nelson introduced, with motivations of realizability and constructibility, a logic called S.…
Algebraic Semantics for Nelson's Logic S
Thiago Nascimento, Umberto Rivieccio, João Marcos +1
Besides the better-known Nelson's Logic and Paraconsistent Nelson's Logic, in "Negation and separation of concepts in constructive systems" (1959), David Nelson introduced a logic…
Bilattice Logic Properly Displayed
Giuseppe Greco, Fei Liang, Alessandra Palmigiano +1
We introduce a proper multi-type display calculus for bilattice logic (with conflation) for which we prove soundness, completeness, conservativity, standard subformula property and…
An Algebraic Study of Bilattice-based Logics
Umberto Rivieccio
The aim of this work is to develop a study from the perspective of Abstract Algebraic Logic of some bilattice-based logical systems introduced in the nineties by Ofer Arieli and Ar…