Loading...
1 results
Search Results
Now showing 1 - 1 of 1
- How to construct remainder sets for paraconsistent revisions: preliminary reportPublication . Testa, Rafael; Fermé, Eduardo; Garapa, Marco; Reis, MaurícioRevision 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 op eration should be either non-trivial or non-contradictory (in general or relative to the new belief). In this paper those dis tinctions 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.