Theory contraction and base contraction unified
- 1 June 1993
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 58 (2) , 602-625
- https://doi.org/10.2307/2275221
Abstract
One way to construct a contraction operator for a theory (belief set) is to assign to it a base (belief base) and an operator of partial meet contraction for that base. Axiomatic characterizations are given of the theory contractions that are generated in this way by (various types of) partial meet base contractions.Keywords
This publication has 9 references indexed in Scilit:
- Multiple contraction a further case against gärdenfors' principle of recoveryPublished by Springer Nature ,2005
- Reversing the Levi identityJournal of Philosophical Logic, 1993
- In defense of base contractionSynthese, 1992
- Syntax based approaches to belief revisionPublished by Cambridge University Press (CUP) ,1992
- Belief contraction without recoveryStudia Logica, 1991
- Theory contraction through base contractionJournal of Philosophical Logic, 1991
- New operators for theory changeTheoria, 1989
- On the status of the postulate of recovery in the logic of theory changeJournal of Philosophical Logic, 1987
- Epistemic importance and minimal changes of beliefAustralasian Journal of Philosophy, 1984