Translator Disclaimer
Summer 1998 Semi-Contraction: Axioms and Construction
Eduardo Fermé, Ricardo Rodriguez
Notre Dame J. Formal Logic 39(3): 332-345 (Summer 1998). DOI: 10.1305/ndjfl/1039182250

Abstract

Semi-contraction is a withdrawal operation defined by Fermé in "On the logic of theory change: Contraction without recovery." In this paper we propose: (1) an axiomatic characterization of semi-contraction; (2) an alternative construction for semi-contraction based on semi-saturatable sets, inspired by Levi's saturatable sets; (3) a special kind of semi-contraction that satisfies the Lindström and Rabinowicz interpolation thesis.

Citation

Download Citation

Eduardo Fermé. Ricardo Rodriguez. "Semi-Contraction: Axioms and Construction." Notre Dame J. Formal Logic 39 (3) 332 - 345, Summer 1998. https://doi.org/10.1305/ndjfl/1039182250

Information

Published: Summer 1998
First available in Project Euclid: 6 December 2002

zbMATH: 0972.03013
MathSciNet: MR1741542
Digital Object Identifier: 10.1305/ndjfl/1039182250

Subjects:
Primary: 03B42
Secondary: 68T27

Rights: Copyright © 1998 University of Notre Dame

JOURNAL ARTICLE
14 PAGES


SHARE
Vol.39 • No. 3 • Summer 1998
Back to Top