2 papers
cs.LO2026
The Dynamic Turn in Paraconsistency
Rafael Ongaratto, Hans van Ditmarsch
In this work we propose a dynamic turn in paraconsistency. We introduce AMLFI1, the action model extension of the paraconsistent logic LFI1. A special case is PALFI1, a paraconsist…
cs.LO2026
A taxonomy for controlling (in)consistency
Marcelo E. Coniglio, Rafael Ongaratto
In this article, the hierarchy of LFIs L, Logics of Controlled Consistency (LCC), is introduced. Inspired by da Costa's original C systems, this hierarchy can represent d…