From the 1 of 5 linked papers with an AI index.
3 papers · 1 filter
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…
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…