Paraconsistent Belief Revision based on a formal consistency operator

CLE E-Prints 15 (8):01-11 (2015)
  Copy   BIBTEX

Abstract

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.

Author Profiles

Marcelo E. Coniglio
University of Campinas
Rafael Testa
University of Campinas

Analytics

Added to PP
2015-12-28

Downloads
502 (#45,312)

6 months
80 (#70,867)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?