6 papers
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…
Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
M. E. Coniglio, F. Esteva, J. Gispert +1
In this paper we study intermediate logics between the degree preserving companion of Godel fuzzy logic with an involution and classical propositional logic CPL, as well as the int…
A new decision method for Intuitionistic Logic by 3-valued non-deterministic truth-tables (pre-print version)
Renato Leme, Marcelo Coniglio, Bruno Lopes
Kurt Gödel proved that it is not possible to characterize Intuitionistic Propositional Logic (IPL) by means of finite and deterministic truth-tables. After extending the same resu…
Hyper swap structures and Kalman functors: the case study of da Costa logic
Marcelo E. Coniglio, Kaique Roberto, Ana Claudia Golzio
In a previous paper, we recast Morgado hyperlattices and Sette implicative hyperlattices in lattice-theoretic terms. By utilizing swap structures induced by implicative lattices, w…
Swap Kripke models for deontic LFIs
Mahan Vaz, Marcelo E. Coniglio
We present a construction of nondeterministic semantics for some deontic logics based on the class of paraconsistent logics known as Logics of Formal Inconsistency (LFIs), for the…
Modal Logics -- RNmatrices vs. Nmatrices
Marcelo E. Coniglio, PaweÅ PawÅowski, Daniel Skurt
In this short paper we will discuss the similarities and differences between two semantic approaches to modal logics - non-deterministic semantics and restricted non-deterministic…