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