Theory Contraction and Base Contraction Unified

Hansson, Sven Ove

J. Symbolic Logic, Tome 58 (1993) no. 1, p. 602-625 / Harvested from Project Euclid

Résumé

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.

Publié le : 1993-06-14
Classification:

@article{1183744249,
     author = {Hansson, Sven Ove},
     title = {Theory Contraction and Base Contraction Unified},
     journal = {J. Symbolic Logic},
     volume = {58},
     number = {1},
     year = {1993},
     pages = { 602-625},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183744249}
}

Hansson, Sven Ove. Theory Contraction and Base Contraction Unified. J. Symbolic Logic, Tome 58 (1993) no. 1, pp.  602-625. http://gdmltest.u-ga.fr/item/1183744249/