Answers are grounded in this paper and cite their sources.
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.
No takes yet. Share an insight, caveat, or question.
Sven Ove Hansson (1993) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: