How to construct Remainder Sets for Paraconsistent Revisions: Preliminary Report

17th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING (2018)
Download Edit this record How to cite View on PhilPapers
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)
PhilPapers/Archive ID
TESHTC
Upload history
First archival date: 2022-01-11
Latest version: 2 (2022-01-12)
View other versions
Added to PP index
2022-01-11

Total views
11 ( #66,475 of 65,657 )

Recent downloads (6 months)
11 ( #52,118 of 65,657 )

How can I increase my downloads?

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