Paraconsistent Belief Revision based on a formal consistency operator

CLE E-Prints 15 (8):01-11 (2015)
Download Edit this record How to cite View on PhilPapers
In this paper two systems of AGM-like Paraconsistent Belief Revision are overviewed, both defined over Logics of Formal Inconsistency (LFIs) due to the possibility of defining a formal consistency operator within these logics. The AGM° system is strongly based on this operator and internalize the notion of formal consistency in the explicit constructions and postulates. Alternatively, the AGMp system uses the AGM-compliance of LFIs and thus assumes a wider notion of paraconsistency - not necessarily related to the notion of formal consistency.
PhilPapers/Archive ID
Revision history
Archival date: 2015-12-28
View upload history
References found in this work BETA
On the Logic of Theory Change: Partial Meet Contraction and Revision Functions.Alchourrón, Carlos E.; Gärdenfors, Peter & Makinson, David
Semi-Revision.Hansson, Sven

Add more references

Citations of this work BETA
AGM-Like Paraconsistent Belief Change.Testa, Rafael R.; Coniglio, Marcelo E. & Ribeiro, Marcio M.

Add more citations

Added to PP index

Total views
180 ( #20,739 of 45,658 )

Recent downloads (6 months)
25 ( #28,974 of 45,658 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.