30 citations · 31 across the 3 of their papers we have counts for
7 papers
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…
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…