4 papers
Hyper Swap Structures: The Case Study of LFIs and Hyper Boolean Algebras
Marcelo E. Coniglio, Kaique M. A. Roberto, Ana C. Golzio
In a previous paper, we introduced the notion of hyper swap structures, a novel class of hyperalgebras that naturally generalizes swap structures semantics. In this paper we introd…
Hyper swap structures and Kalman functors: the case study of da Costa logic
Marcelo E. Coniglio, Kaique Roberto, Ana Claudia Golzio
In a previous paper, we recast Morgado hyperlattices and Sette implicative hyperlattices in lattice-theoretic terms. By utilizing swap structures induced by implicative lattices, w…
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…
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…