3 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
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…
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…
math.KT2024
K-theories and Free Inductive Graded Rings in Abstract Quadratic Forms Theories
Kaique Matias de Andrade Roberto, Hugo Luiz mariano
We build on previous work on multirings (\cite{roberto2021quadratic}) that provides generalizations of the available abstract quadratic forms theories (special groups and real semi…