Showing math.LOShow all
2 papers · 1 filter
math.LO2019
First-order swap structures semantics for some Logics of Formal Inconsistency
Marcelo E. Coniglio, Aldo Figallo-Orellano, Ana C. Golzio
The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective w…
math.LO2017
Non-deterministic algebraization of logics by swap structures
Marcelo E. Coniglio, Aldo Figallo-Orellano, Ana C. Golzio
Multialgebras (or hyperalgebras, or non-deterministic algebras) have been very much studied in Mathematics and in Computer Science. In 2016 Carnielli and Coniglio introduced a clas…