30 citations · 35 across the 9 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023
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…
cs.LO2022★ 1 cited
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…