- 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
Deriving Information from Inconsistent Knowledge Bases: A Completeness Theorem for η▹η
Logic Journal of the IGPL 12 (5):345-353 (2004)
Abstract
The logical consequence relations η▹η provide a very attractive way of inferring new facts from inconsistent knowledge bases without compromising standards of credibility. In this short note we provide proof theories and completeness theorems for these consequence relations which may have some applicability in small examplesAuthor's Profile
My notes
Similar books and articles
Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study part 1: The flat case.Salem Benferhat, Didier Dubois & Henri Prade - 1997 - Studia Logica 58 (1):17-45.
Categorical consequence for paraconsistent logic.Fred Johnson & Peter Woodruff - 2002 - In Walter Alexandr Carnielli (ed.), Paraconsistency: The Logical Way to the Inconsistent. CRC Press. pp. 141-150.
Increasing η ‐representable degrees.Andrey N. Frolov & Maxim V. Zubkov - 2009 - Mathematical Logic Quarterly 55 (6):633-636.
On the existence of regular types.Saharon Shelah & Steven Buechler - 1989 - Annals of Pure and Applied Logic 45 (3):277-308.
Elimination of Cuts in First-order Finite-valued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - Journal of Information Processing and Cybernetics EIK 29 (6):333-355.
On algebraic and topological semantics of the modal logic of common knowledge S4CI.Daniyar Shamkanov - forthcoming - Logic Journal of the IGPL.
A Strong Completeness Theorem for the Gentzen systems associated with finite algebras.Àngel J. Gil, Jordi Rebagliato & Ventura Verdú - 1999 - Journal of Applied Non-Classical Logics 9 (1):9-36.
Containment Logics: Algebraic Completeness and Axiomatization.Stefano Bonzio & Michele Pra Baldi - 2021 - Studia Logica 109 (5):969-994.
Η-representation of sets and degrees.Kenneth Harris - 2008 - Journal of Symbolic Logic 73 (4):1097-1121.
A duality between Pawlak's knowledge representation systems and bi-consequence systems.Dimiter Vakarelov - 1995 - Studia Logica 55 (1):205 - 228.
Analytics
Added to PP
2015-02-04
Downloads
10 (#395,257)
6 months
6 (#1,472,471)
2015-02-04
Downloads
10 (#395,257)
6 months
6 (#1,472,471)
Historical graph of downloads
Author's Profile
Citations of this work
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.
Probabilistic Entailment on First Order Languages and Reasoning with Inconsistencies.R. A. D. Soroush Rafiee - 2023 - Review of Symbolic Logic 16 (2):351-368.
David Makinson on Classical Methods for Non-Classical Problems.Sven Ove Hansson (ed.) - 2013 - Dordrecht, Netherland: Springer.
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-sqlzn uwo