A taxonomy for controlling (in)consistency
arXiv:2604.18766v1 Announce Type: new Abstract: In this article, the hierarchy of LFIs L$_n^k$, Logics of Controlled Consistency (LCC), is introduced. Inspired by da Costa’s original C$_n$ systems, this hierarchy can represent different degrees of paraconsistent commitment and different related notions of consistency, inconsistency, and negation associated with each two-dimensional level of these logics. In one dimension, the logics become increasingly more paraconsistent by allowing the consistency operator to behave inconsistently up to a fixed iteration. In another dimension, […]