We further develop the formal foundations of Paraconsistent Belief Revision (PBR) by introducing Logics of Formal Inconsistency (LFIs) specifically designed to support the development of epistemic entrenchment-based models for belief change. The interpretation of formal consistency -- and, more broadly, of paraconsistency -- in terms of the epistemic attitudes adopted by rational agents and of these agents reasoning with potentially contradictory yet non-trivial epistemic states, respectively, is already well-established within the literature on PBR based on LFIs. However, previous approaches faced a key limitation: the absence of replacement in most LFIs prevented the construction of entrenchment-based operations. We address this gap by first revisiting and systematizing core properties essential for such modeling, formalizing them within Cbr, a previously introduced logic whose foundational properties we now examine and develop in depth. Building on this, we introduce RCbr, a replacement-enriched, self-extensional extension of Cbr, which makes it possible -- within an LFI-based framework -- to formally define epistemic entrenchment and to construct entrenchment-based belief revision mechanisms. This development enables a fully constructive approach to Belief Revision in paraconsistent settings, further advancing the theoretical treatment of LFIs and paraconsistency within the broader landscape of epistemic states and belief dynamics.

翻译：我们通过引入专门设计用于支持基于认知固化的信念变化模型开发的形式不一致逻辑，进一步夯实了超协调信念修正的形式基础。在基于LFI的超协调信念修正文献中，将形式一致性（以及更广义的超协调性）分别解释为理性主体所采取的认知态度，以及这些主体对潜在矛盾但非平凡的认知状态进行推理的过程，这一观点已得到充分确立。然而，先前方法存在一个关键局限：大多数LFI中替换规则的缺失阻碍了基于固化的操作构造。为填补这一空白，我们首先重新审视并系统化此类建模所需的核心性质，在先前提出的逻辑Cbr中将其形式化（该逻辑的基础性质我们现予以深入考察和发展）。在此基础上，我们引入RCbr——一种替换增强的、自外延的Cbr扩展逻辑，使得在基于LFI的框架内形式化定义认知固化并构建基于固化的信念修正机制成为可能。这一进展实现了超协调环境下信念修正的完全构造性方法，进一步推动了形式不一致逻辑与超协调性在更广阔的认知状态与信念动力学领域中的理论处理。