System of Spheres-based Multiple Contractions

Journal of Philosophical Logic 41 (1):29-52 (2012)

Abstract

We propose a new class of multiple contraction operations — the system of spheres-based multiple contractions — which are a generalization of Grove’s system of spheres-based (singleton) contractions to the case of contractions by (possibly non-singleton) sets of sentences. Furthermore, we show that this new class of functions is a subclass of the class of the partial meet multiple contractions.

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,855

External links

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

Through your library

Analytics

Added to PP
2012-01-21

Downloads
45 (#255,816)

6 months
1 (#386,001)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Eduardo Fermé
University of Madeira

References found in this work

A Textbook of Belief Dynamics: Theory Change and Database Updating.Sven Ove Hansson - 1999 - Dordrecht and Boston: Kluwer Academic Publishers.
Two Modellings for Theory Change.Adam Grove - 1988 - Journal of Philosophical Logic 17 (2):157-170.
A Textbook of Belief Dynamics: Solutions to Exercises.Sven Ove Hansson - 1999 - Dordrecht, Netherland: Kluwer Academic Publishers.
Theory Contraction Through Base Contraction.André Fuhrmann - 1991 - Journal of Philosophical Logic 20 (2):175 - 203.

View all 14 references / Add more references

Similar books and articles

Multiple Kernel Contraction.Eduardo Fermé, Karina Saez & Pablo Sanz - 2003 - Studia Logica 73 (2):183 - 195.
A Survey of Multiple Contractions.André Fuhrmann & Sven Ove Hansson - 1994 - Journal of Logic, Language and Information 3 (1):39-75.
Belief Contraction as Nonmonotonic Inference.Alexander Bochman - 2000 - Journal of Symbolic Logic 65 (2):605-626.
Kernel Contraction.Sven Ove Hansson - 1994 - Journal of Symbolic Logic 59 (3):845-859.
Levi Contractions and AGM Contractions: A Comparison.Sven Ove Hansson & Erik J. Olsson - 1995 - Notre Dame Journal of Formal Logic 36 (1):103-119.
Bootstrap Contraction.Sven Ove Hansson - 2013 - Studia Logica 101 (5):1013-1029.
Theory Contraction and Base Contraction Unified.Sven Ove Hansson - 1993 - Journal of Symbolic Logic 58 (2):602-625.
Ranking Functions, AGM Style.Wolfgang Spohn - 1999 - Internet Festschrift for Peter Gärdenfors.
Multiple Conclusion Logic.D. J. Shoesmith & Timothy Smiley - 1978 - Cambridge, England / New York London Melbourne: Cambridge University Press.