- 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
Preferences as inconsistency-resolvers: The Inconsistency-adaptive Logic PRL
Logic and Logical Philosophy 8:47 (2000)
Abstract
In this paper I generalize the new approach to nonmonotonicreasoning that was presented in [6]. This generalization results in the inconsistency-adaptive logic PRL . I give proof theory, semantics, mention interesting properties,and comment on the reconstruction and amelioration of other nonmonotoniclogics and mechanismsLinks
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Preferences as inconsistency-resolvers: an Inconsistency-adaptive Tool.Guido Vanackere - 2001 - Logic and Logical Philosophy 8:47-63.
Inconsistency-adaptive modal logics. On how to cope with modal inconsistency.Hans Lycke - 2010 - Logic and Logical Philosophy 19 (1-2):31-61.
Two New Strategies for Inconsistency-Adaptive Logics.Kristof De Clercq - 2000 - Logic and Logical Philosophy 8:65-80.
Towards the Unification of Inconsistency Handling Mechanisms.Diderik Batens - 2000 - Logic and Logical Philosophy 8:5-31.
On Algorithmic Properties of Propositional Inconsistency-Adaptive Logics.Sergei P. Odintsov & Stanislav O. Speranski - 2012 - Logic and Logical Philosophy 21 (3):209-228.
The adaptive logic of compatibility.Diderik Batens & Joke Meheus - 2000 - Studia Logica 66 (3):327-348.
On the Acceptance of Problem Solutions Derived from Inconsistent Constraints.Joke Meheus - 2000 - Logic and Logical Philosophy 8:33-46.
Direct Dynamic Proofs for the Rescher–Manor Consequence Relations: The Flat Case.Diderik Batens & Timothy Vermeir - 2002 - Journal of Applied Non-Classical Logics 12 (1):63-84.
The generation of abductive explanations from inconsistent theories.Dagmar Provijn - 2012 - Logic Journal of the IGPL 20 (2):400-416.
A dynamic semantics for inconsistency-adaptive logics.Diderik Batens - 1998 - Bulletin of the Section of Logic 27 (15-8):5l.
Analytics
Added to PP
2014-01-23
Downloads
29 (#539,334)
6 months
7 (#594,125)
2014-01-23
Downloads
29 (#539,334)
6 months
7 (#594,125)
Historical graph of downloads
Citations of this work
A general characterization of adaptive logics.Diderik Batens - 2001 - Logique Et Analyse 173 (175):45-68.
Towards the Unification of Inconsistency Handling Mechanisms.Diderik Batens - 2000 - Logic and Logical Philosophy 8:5-31.
A procedural criterion for final derivability in inconsistency-adaptive logics.Diderik Batens - 2005 - Journal of Applied Logic 3 (1):221-250.
Non-Monotonic Set Theory as a Pragmatic Foundation of Mathematics.Peter Verdée - 2013 - Foundations of Science 18 (4):655-680.
Two New Strategies for Inconsistency-Adaptive Logics.Kristof De Clercq - 2000 - Logic and Logical Philosophy 8:65-80.
References found in this work
Inconsistency-Adaptive Logics.Diderik Batens - 1999 - In Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa. Springer. pp. 445-472.
Two New Strategies for Inconsistency-Adaptive Logics.Kristof De Clercq - 2000 - Logic and Logical Philosophy 8:65-80.
HL2, an inconsistency-adaptive and inconsistency-resolving logic for general statements that might have exceptions.Guido Vanackere - 2000 - Journal of Applied Non-Classical Logics 10 (3-4):317-338.
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-6686886f5-5pqs9 uwo