From the 1 of 5 linked papers with an AI index.
5 papers
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…
On Many-logic modal structures and information-based logics
Manuel Martins, AbÃlio Rodrigues, Marcelo Coniglio +1
This paper proposes an approach to information-based logics using many-logic modal structures (MLMS). These structures can express accessibility relations between worlds with diffe…
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…
Positive, Negative, and Reliable Information in a First-Order Logic of Evidence and Truth
Abilio Rodrigues, Marcelo E. Coniglio
In this paper we present the first-order logic QLETF+, a quantified version of the logic LETF+, introduced in Coniglio and Rodrigues (Studia Logica 112:561-606, 2024). QLETF+ exhib…
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…