Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 58, Issue 2 (1993), 602-625.
Theory Contraction and Base Contraction Unified
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.
J. Symbolic Logic, Volume 58, Issue 2 (1993), 602-625.
First available in Project Euclid: 6 July 2007
Permanent link to this document
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Hansson, Sven Ove. Theory Contraction and Base Contraction Unified. J. Symbolic Logic 58 (1993), no. 2, 602--625. https://projecteuclid.org/euclid.jsl/1183744249