category theory 1functorial equivalence 1hyper boolean algebras 1hyper swap structures 1logics of formal inconsistency 1paraconsistent logics 1
From the 1 of 2 linked papers with an AI index.
2 papers
math.LO2026
Hyper Swap Structures: The Case Study of LFIs and Hyper Boolean Algebras
Marcelo E. Coniglio, Kaique M. A. Roberto, Ana C. Golzio
The paper defines hyper Boolean algebras using Morgado hyperlattices, shows they provide semantics for several Logics of Formal Inconsistency via hyper swap structures, and constru…
math.LO2025
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…