Semi-Contraction: Axioms and Construction

Notre Dame Journal of Formal Logic 39 (3):332-345 (1998)
  Copy   BIBTEX

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Multiple kernel contraction.Eduardo Fermé, Karina Saez & Pablo Sanz - 2003 - Studia Logica 73 (2):183 - 195.
Foundational belief change.Abhaya C. Nayak - 1994 - Journal of Philosophical Logic 23 (5):495 - 533.
Repertoire Contraction.Sven Ove Hansson - 2013 - Journal of Logic, Language and Information 22 (1):1-21.
On the logic of theory change: Contraction without recovery. [REVIEW]Eduardo L. Fermé - 1998 - Journal of Logic, Language and Information 7 (2):127-137.
A survey of multiple contractions.André Fuhrmann & Sven Ove Hansson - 1994 - Journal of Logic, Language and Information 3 (1):39-75.
Semi-demorgan algebras.David Hobby - 1996 - Studia Logica 56 (1-2):151 - 183.
Bootstrap Contraction.Sven Ove Hansson - 2013 - Studia Logica 101 (5):1013-1029.
Kernel contraction.Sven Ove Hansson - 1994 - Journal of Symbolic Logic 59 (3):845-859.

Analytics

Added to PP
2010-08-24

Downloads
48 (#291,517)

6 months
6 (#201,673)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Ricardo Oscar Rodriguez
Universidad de Buenos Aires (UBA)
Eduardo Fermé
University of Madeira

Citations of this work

Severe withdrawal (and recovery).Hans Rott & Maurice Pagnucco - 1999 - Journal of Philosophical Logic 28 (5):501-547.
Outcome level analysis of belief contraction.Sven Ove Hansson - 2013 - Review of Symbolic Logic 6 (2):183-204.
Recovery and epistemic residue.Sven Ove Hansson - 1999 - Journal of Logic, Language and Information 8 (4):421-428.
Systematic withdrawal.Thomas Meyer, Johannes Heidema, Willem Labuschagne & Louise Leenen - 2002 - Journal of Philosophical Logic 31 (5):415-443.

View all 7 citations / Add more citations