activity
20132026
most citedFree algebras in varieties of Hilbert algebras with supremum generated by finite chains

1 citations · 1 across the 11 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2024

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…