category theory 1functorial equivalence 1hyper boolean algebras 1hyper swap structures 1logics of formal inconsistency 1paraconsistent logics 1
From the 1 of 5 linked papers with an AI index.
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
A taxonomy for controlling (in)consistency
Marcelo E. Coniglio, Rafael Ongaratto
In this article, the hierarchy of LFIs L, Logics of Controlled Consistency (LCC), is introduced. Inspired by da Costa's original C systems, this hierarchy can represent d…
cs.LO2025
The Modal Cube Revisited: Semantics without Worlds (Technical Report)
Renato Leme, Carlos Olarte, Elaine Pimentel +1
We present a non-deterministic semantic framework for all modal logics in the modal cube, extending prior works by Kearns and others. Our approach introduces modular and uniform mu…