Showing math.LOShow all
3 papers · 1 filter
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.LO2026
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…
math.LO2026
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…