17th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING (2018)

Authors
Rafael Testa
University of Campinas
Eduardo Fermé
University of Madeira
Abstract
Revision operation is the consistent expansion of a theory by a new belief-representing sentence. We consider that in a paraconsistent setting this desideratum can be accomplished in at least three distinct ways: the output of a revision operation should be either non-trivial or non-contradictory (in general or relative to the new belief). In this paper those distinctions will be explored in the constructive level by showing how the remainder sets could be refined, capturing the key concepts of paraconsistency in a dynamical scenario. These are preliminaries results of a wider project on Paraconsistent Belief Change conduced by the authors.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Causality: Models, Reasoning and Inference.Judea Pearl - 2000 - Cambridge University Press.
Theory of Knowledge.Roderick Milton Chisholm - 1966 - Englewood Cliffs, NJ, USA: Englewood Cliffs, N.J., Prentice-Hall.
Modal Logic: An Introduction.Brian F. Chellas - 1980 - Cambridge University Press.

View all 108 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Some Solved and Unsolved Remainder Equations.Sven Ove Hansson - 1995 - Mathematical Logic Quarterly 41 (3):362-368.
Paraconsistent Dynamics.Patrick Girard & Koji Tanaka - 2016 - Synthese 193 (1):1-14.
[Omnibus Review].F. G. Asenjo - 1991 - Journal of Symbolic Logic 56 (4):1503-1504.
Omnibus Review. [REVIEW]F. G. Asenjo - 1991 - Journal of Symbolic Logic 56 (4):1503-1504.
Shielded Base Contraction.Marco Garapa, Eduardo Fermé & Maurício D. L. Reis - 2018 - Artificial Intelligence 259:186-216.
Negation and Paraconsistent Logics.Soma Dutta & Mihir K. Chakraborty - 2011 - Logica Universalis 5 (1):165-176.
On Remainder Equations.Jun Li - 1997 - Mathematical Logic Quarterly 43 (3):355-368.
Selective Base Revisions.Marco Garapa - 2022 - Journal of Philosophical Logic 51 (1):1-26.
Paraconsistent Logic.David Ripley - 2015 - Journal of Philosophical Logic 44 (6):771-780.

Analytics

Added to PP index
2022-01-11

Total views
19 ( #582,367 of 2,507,562 )

Recent downloads (6 months)
19 ( #45,427 of 2,507,562 )

How can I increase my downloads?

Downloads

My notes