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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,991

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.
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.

Analytics

Added to PP
2010-08-24

Downloads
51 (#320,514)

6 months
5 (#711,375)

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.
Systematic withdrawal.Thomas Meyer, Johannes Heidema, Willem Labuschagne & Louise Leenen - 2002 - Journal of Philosophical Logic 31 (5):415-443.
Recovery and epistemic residue.Sven Ove Hansson - 1999 - Journal of Logic, Language and Information 8 (4):421-428.

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.
On the status of the postulate of recovery in the logic of theory change.David Makinson - 1987 - Journal of Philosophical Logic 16 (4):383 - 394.
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