30 citations · 37 across the 11 of their papers we have counts for
Showing 2021 · math.LOShow all
3 papers · 2 filters
math.LO2021
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…
math.LO2021
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…
math.LO2021
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…