8 citations · 25 across the 15 of their papers we have counts for
5 papers · 2 filters
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…
On axioms and rexpansions
Carlos Caleiro, Sérgio Marcelino
We study the general problem of strengthening the logic of a given (partial) (non-deterministic) matrix with a set of axioms, using the idea of rexpansion. We obtain two characteri…
An unexpected Boolean connective
Sérgio Marcelino
We consider a 2-valued non-deterministic connective defined by the table resulting from the entry-wise union of the tables of conjunction and disjunction…