30 citations · 41 across the 14 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
math.LO2023
Some more theorems on structural entailment relations and non-deterministic semantics
Carlos Caleiro, Sérgio Marcelino, Umberto Rivieccio
We extend classical work by Janusz Czelakowski on the closure properties of the class of matrix models of entailment relations - nowadays more commonly called multiple-conclusion l…
cs.LO2023★ 2 cited
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…