31 citations · 69 across the 27 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
math.LO2020★ 3 cited
A simple decision procedure for da Costa's Cn logics by Restricted Nmatrix semantics
Marcelo E. Coniglio, Guilherme V. Toledo
Despite being fairly powerful, finite non-deterministic matrices are unable to characterize some logics of formal inconsistency, such as those found between and $\…
math.LO2020
Logics of Formal Inconsistency enriched with replacement: an algebraic and modal account
Walter Carnielli, Marcelo E. Coniglio, David Fuenmayor
It is customary to expect from a logical system that it can be algebraizable, in the sense that an algebraic companion of the deductive machinery can always be found. Since the inc…