2 papers
cs.LO2026
Paraconsistent Belief Revision: A Replacement-Enriched LFI for Epistemic Entrenchment
Marcelo E. Coniglio, Martin Figallo, Rafael R. Testa
We further develop the formal foundations of Paraconsistent Belief Revision (PBR) by introducing Logics of Formal Inconsistency (LFIs) specifically designed to support the developm…
math.LO2024
Normalization and cut-elimination theorems for some logics of evidence and truth
Marcelo E. Coniglio, MartÃn Figallo, Abilio Rodrigues
In this paper, we investigate proof-theoretic aspects of the logics of evidence and truth LETJ and LETF. These logics extend, respectively, Nelson's logic N and the logic of first-…