Treffer: Paraconsistent belief revision: an algebraic investigation

This paper offers a logico-algebraic investigation of AGM belief revision based on the logic of paradox (LP). First, we define a concrete belief revision operator for LP, proving that it satisfies a generalised version of the traditional AGM postulates. Moreover, we investigate to what extent the Levi and Harper identities, in their classical formulation, can be applied to a paraconsistent account of revision. We show that a generalised Levi-type identity still yields paraconsistent-based revisions that are fully compatible with the AGM postulates. The main outcome is that, once the classical AGM framework is lifted up to an appropriate level of generality, it still appears as a regulative ideal for treating of paraconsistent-based epistemic operators. ; The research of Massimiliano Carrara has been supported by the CARIPARO Foundation excellence project (2020-2023): “Polarization of irrational collective beliefs in post-truth societies (How anti-scientific opinions resist expert advice, with an analysis of the antivaccination campaign)”. Michele Pra Baldi expresses his gratitude for the support of MIUR, project PRIN 2017 “Theory and applications of resource sensitive logics”, CUP: 20173WKCM5. Davide Fazio gratefully acknowledges the support of MIUR, project PRIN 2017 “Logic and cognition. Theory, experiments, and applications”, CUP: 2013YP4N3, and Fondazione di Sardegna, project: “Resource sensitive reasoning and logic ”, CUP: F72F20000410007. ; Peer reviewed