Journal of Philosophical Logic 47 (6):965-989 (2018)

H. C. B. Liu
University of California, Berkeley
Sven-Ove Hansson and Erik Olsson studied in Hansson and Olsson, 103–119 1995) the logical properties of an operation of contraction first proposed by Isaac Levi in Levi. They provided a completeness result for the simplest version of contraction that they call Levi-contraction but left open the problem of characterizing axiomatically the more complex operation of value-based contraction or saturatable contraction. In this paper we propose an axiomatization for this operation and prove a completeness result for it. We argue that the resulting operation is better behaved than various rival operations of contraction defined in recent years.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s10992-018-9457-2
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,391
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

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.
Severe Withdrawal (and Recovery).Hans Rott & Maurice Pagnucco - 1999 - Journal of Philosophical Logic 28 (5):501-547.
Main Trends in Recent Philosophy.Willard Orman Quinvane - 1951 - New Scholasticism 25 (2):137-138.

View all 12 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

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.
Semi-Contraction: Axioms and Construction.Eduardo Fermé & Ricardo Rodriguez - 1998 - Notre Dame Journal of Formal Logic 39 (3):332-345.
Repertoire Contraction.Sven Ove Hansson - 2013 - Journal of Logic, Language and Information 22 (1):1-21.
Specified Meet Contraction.Sven Ove Hansson - 2008 - Erkenntnis 69 (1):31-54.
Blockage Contraction.Sven Ove Hansson - 2013 - Journal of Philosophical Logic 42 (2):415-442.
Foundational Belief Change.Abhaya C. Nayak - 1994 - Journal of Philosophical Logic 23 (5):495 - 533.
A Survey of Multiple Contractions.André Fuhrmann & Sven Ove Hansson - 1994 - Journal of Logic, Language and Information 3 (1):39-75.
Maximal and Perimaximal Contraction.Sven Ove Hansson - 2013 - Synthese 190 (16):3325-3348.
Bootstrap Contraction.Sven Ove Hansson - 2013 - Studia Logica 101 (5):1013-1029.


Added to PP index

Total views
10 ( #800,178 of 2,326,149 )

Recent downloads (6 months)
1 ( #646,834 of 2,326,149 )

How can I increase my downloads?


My notes