- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Contracting Intuitionistic Theories
Studia Logica 80 (2-3):369-391 (2005)
Abstract
I reformulate the AGM-account of contraction (which would yield an account also of revision). The reformulation involves using introduction and elimination rules for relational notions. Then I investigate the extent to which the two main methods of partial meet contraction and safe contraction can be employed for theories closed under intuitionistic consequence.Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
Intuitionistic propositional logic without 'contraction' but with 'reductio'.J. M. Méndez & F. Salto - 2000 - Studia Logica 66 (3):409-418.
Multiple kernel contraction.Eduardo Fermé, Karina Saez & Pablo Sanz - 2003 - Studia Logica 73 (2):183 - 195.
On the logic of theory change: Safe contraction.Carlos E. Alchourrón & David Makinson - 1985 - Studia Logica 44 (4):405 - 422.
Maps between some different kinds of contraction function: The finite case.Carlos E. Alchourrón & David Makinson - 1986 - Studia Logica 45 (2):187 - 198.
Changes of disjunctively closed bases.Sven Ove Hansson - 1993 - Journal of Logic, Language and Information 2 (4):255-284.
Naïve comprehension and contracting implications.Susan Rogerson & Sam Butchart - 2002 - Studia Logica 71 (1):119-132.
Safe Contraction Revisited.Hans Rott & Sven Ove Hansson - 2014 - In Sven Ove Hansson (ed.), David Makinson on Classical Methods for Non-Classical Problems (Outstanding Contributions to Logic, Vol. 3). Springer. pp. 35–70.
Three Floors for the Theory of Theory Change.Hans Rott - 2014 - In Punčochář Vít & Dančák Michal (eds.), The Logica Yearbook 2013. College Publications. pp. 187–205.
AGM Contraction and Revision of Rules.Guido Boella, Gabriella Pigozzi & Leendert van der Torre - 2016 - Journal of Logic, Language and Information 25 (3-4):273-297.
AGM Contraction and Revision of Rules.Roland Mühlenbernd, Laurent Perrussel & Emiliano Lorini - 2016 - Journal of Logic, Language and Information 25 (3 - 4):273-297.
Analytics
Added to PP
2009-01-28
Downloads
49 (#441,615)
6 months
8 (#551,658)
2009-01-28
Downloads
49 (#441,615)
6 months
8 (#551,658)
Historical graph of downloads
Author's Profile
Citations of this work
New Foundations for a Relational Theory of Theory-revision.Neil Tennant - 2006 - Journal of Philosophical Logic 35 (5):489-528.
Katz’s revisability paradox dissolved.Allard Tamminga & Sander Verhaegh - 2013 - Australasian Journal of Philosophy 91 (4):771-784.
On the Degeneracy of the Full AGM-Theory of Theory-Revision.Neil Tennant - 2006 - Journal of Symbolic Logic 71 (2):661 - 676.
References found in this work
On the logic of theory change: Partial meet contraction and revision functions.Carlos E. Alchourrón, Peter Gärdenfors & David Makinson - 1985 - Journal of Symbolic Logic 50 (2):510-530.
On the logic of theory change: Safe contraction.Carlos E. Alchourrón & David Makinson - 1985 - Studia Logica 44 (4):405 - 422.
Theory contraction through base contraction.André Fuhrmann - 1991 - Journal of Philosophical Logic 20 (2):175 - 203.
On probabilistic representation of non-probabilistic belief revision.Sten Lindström & Wlodek Rabinowicz - 1989 - Journal of Philosophical Logic 18 (1):69 - 101.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-f8568656d-d9z9s uwo