ISSN 1519-9681

ARTICLES
EDITORIAL BOARD
RULES AND INSTRUCTIONS
SITES POINTING TO CLE e-PRINTS

Articles
Vol. 14(1), 2014

..
.


Vol. 15(8), 2015
Paraconsistent Belief Revision based on a formal consistency operator
Rafael R. Testa(1), Marcelo E. Coniglio(1) and Márcio M. Ribeiro(2)

(1) Centre for Logic, Epistemology and the History of Science and Institute of Philosophy and Human Sciences, University of Campinas, Brazil
(2) School of Arts and Human Sciences, University of Sâo Paulo, Brazil


Date Posted: November 23, 2015

vol. 15, n. 8, 2015

   
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.
Keywords: Paraconsistent Belief Revision, paraconsistency, logics of formal inconsistency, contradiction, AGM-compliance.



|   Home   | 2014  |  2013 2012  |  2011   |   2010   |   2009   |   2008   |   2007   |    2005   |   2004   |   2003   |   2002   |   2001   |

© 2001-2015 - Centre for Logic, Epistemology and the History of Science – CLE