Journal of Symbolic Logic

Theory Contraction and Base Contraction Unified

Sven Ove Hansson

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.

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.

Article information

Source
J. Symbolic Logic, Volume 58, Issue 2 (1993), 602-625.

Dates
First available in Project Euclid: 6 July 2007

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1183744249

Mathematical Reviews number (MathSciNet)
MR1233926

Zentralblatt MATH identifier
0785.03012

JSTOR
links.jstor.org

Citation

Hansson, Sven Ove. Theory Contraction and Base Contraction Unified. J. Symbolic Logic 58 (1993), no. 2, 602--625. https://projecteuclid.org/euclid.jsl/1183744249


Export citation