Semi-contraction: Axioms and construction
1998, Notre Dame Journal of Formal Logic 39 (3), 332-345, 1998Citas: 20
Agregar PDF Importar citas Importar citas SCRAPME Plots Conexiones
Autor(es)
Eduardo Fermé and Ricardo Rodriguez
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.