3 citations · 7 across the 6 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
Proof Search on Bilateralist Judgments over Non-deterministic Semantics
Vitor Greati, Sérgio Marcelino, João Marcos
The bilateralist approach to logical consequence maintains that judgments of different qualities should be taken into account in determining what-follows-from-what. We argue that s…
math.LO2021★ 3 cited
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…