A logic for reasoning with inconsistency

DOI10.1007/BF00245460zbMath0807.03019OpenAlexW3015761148MaRDI QIDQ688558

Michael Kifer, Eliezer L. Lozinskii

Publication date: 5 March 1995

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00245460

zbMATH Keywords

proof theorynonmonotonic reasoninginconsistencyinconsistent beliefscontradictionannotated predicateepistemic entailmentontological negation

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Mechanization of proofs and logical operations (03B35)

Related Items (21)

An overview of transaction logic ⋮ Automated theorem proving by resolution in non-classical logics ⋮ Binary resolution over Boolean lattices ⋮ A note on the model-theoretic semantics of fuzzy logic programming for dealing with inconsistency ⋮ On the complexity of entailment in propositional multivalued logics ⋮ Paraconsistency and word puzzles ⋮ Tabulation proof procedures for fuzzy linguistic logic programming ⋮ On the relationship between annotated logic programs and nonmonotonic formalisms ⋮ Belief functions on distributive lattices ⋮ Logical Foundations of Evidential Reasoning with Contradictory Information ⋮ A paraconsistent logic programming approach for querying inconsistent databases ⋮ A logic for programming with complex objects ⋮ Facts, arguments, annotations and reasoning ⋮ A Survey of Annotated Logics ⋮ The value of the four values ⋮ Reasoning with different levels of uncertainty ⋮ Annotated fuzzy logic programs ⋮ On recent applications of paraconsistent logic: an exploratory literature review ⋮ Threshold Boolean logic ⋮ Fuzzy types: A framework for handling uncertainty about types of objects ⋮ Policy-based inconsistency management in relational databases

Cites Work

• Reasoning about truth
• Belief, awareness, and limited reasoning
• First-order modal tableaux
• A logic for default reasoning
• Paraconsistent logic programming
• Quantitative deduction and its fixpoint theory
• Bilattices and the semantics of logic programming
• Destructive Modal Resolution
• An Equational Axiomatization for the Disjoint System of Post Algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A logic for reasoning with inconsistency