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

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1039182250

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,894

External links

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

Through your library

My notes

Similar books and articles

Levi Contractions and AGM Contractions: A Comparison.Sven Ove Hansson & Erik J. Olsson - 1995 - Notre Dame Journal of Formal Logic 36 (1):103-119.
A Representation Result for Value-based Contraction.Horacio Arló Costa & Hailin Liu - 2018 - Journal of Philosophical Logic 47 (6):965-989.
Value-based Contraction: A Representation Result.Hailin Liu - unknown
A Brief Note About Rott Contraction.E. Fermé & R. Rodriguez - 1998 - Logic Journal of the IGPL 6 (6):835-842.
Global and Iterated Contraction and Revision: An Exploration of Uniform and Semi-Uniform Approaches. [REVIEW]Sven Ove Hansson - 2012 - Journal of Philosophical Logic 41 (1):143-172.
Foundational belief change.Abhaya C. Nayak - 1994 - Journal of Philosophical Logic 23 (5):495 - 533.
On the logic of theory change: Contraction without recovery. [REVIEW]Eduardo L. Fermé - 1998 - Journal of Logic, Language and Information 7 (2):127-137.
Multiple kernel contraction.Eduardo Fermé, Karina Saez & Pablo Sanz - 2003 - Studia Logica 73 (2):183 - 195.
Infobase change: A first approximation. [REVIEW]Thomas Andreas Meyer, Willem Adrian Labuschagne & Johannes Heidema - 2000 - Journal of Logic, Language and Information 9 (3):353-377.
Systematic withdrawal.Thomas Meyer, Johannes Heidema, Willem Labuschagne & Louise Leenen - 2002 - Journal of Philosophical Logic 31 (5):415-443.

Analytics

Added to PP
2010-08-24

Downloads
69 (#335,426)

6 months
6 (#745,008)

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

References found in this work

Two modellings for theory change.Adam Grove - 1988 - Journal of Philosophical Logic 17 (2):157-170.
A survey of multiple contractions.André Fuhrmann & Sven Ove Hansson - 1994 - Journal of Logic, Language and Information 3 (1):39-75.

View all 14 references / Add more references