A logic for reasoning with inconsistency
DOI10.1007/BF00245460zbMATH Open0807.03019OpenAlexW3015761148MaRDI QIDQ688558FDOQ688558
Authors: 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
Recommendations
- A logic for reasoning with inconsistent knowledge
- A general framework for reasoning on inconsistency
- A semantics for reasoning consistently in the presence of inconsistency
- scientific article; zbMATH DE number 1303449
- Consistent theories in inconsistent logics
- Logics of formal inconsistency
- A logic for reasoning about ambiguity
- A reasoning method for a paraconsistent logic
- scientific article
- scientific article; zbMATH DE number 487144
nonmonotonic reasoningproof theoryinconsistencycontradictionannotated predicateepistemic entailmentinconsistent beliefsontological negation
Other nonclassical logic (03B60) Knowledge representation (68T30) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)
Cites Work
- Paraconsistent logic programming
- Title not available (Why is that?)
- Title not available (Why is that?)
- Belief, awareness, and limited reasoning
- Title not available (Why is that?)
- Title not available (Why is that?)
- Bilattices and the semantics of logic programming
- A logic for default reasoning
- Quantitative deduction and its fixpoint theory
- Title not available (Why is that?)
- Reasoning about truth
- Title not available (Why is that?)
- Title not available (Why is that?)
- First-order modal tableaux
- Title not available (Why is that?)
- Title not available (Why is that?)
- Destructive Modal Resolution
- An Equational Axiomatization for the Disjoint System of Post Algebras
Cited In (29)
- On recent applications of paraconsistent logic: an exploratory literature review
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Binary resolution over Boolean lattices
- Fuzzy types: A framework for handling uncertainty about types of objects
- Argumentative logics: Reasoning with classically inconsistent information
- Logical Foundations of Evidential Reasoning with Contradictory Information
- On the complexity of entailment in propositional multivalued logics
- A note on the model-theoretic semantics of fuzzy logic programming for dealing with inconsistency
- Threshold Boolean logic
- Inconsistency lemmas in algebraic logic
- A Survey of Annotated Logics
- An overview of transaction logic
- The value of the four values
- Automated theorem proving by resolution in non-classical logics
- Tabulation proof procedures for fuzzy linguistic logic programming
- Annotated fuzzy logic programs
- Inconsistent knowledge as a natural phenomenon: the ranking of reasonable inferences as a computational approach to naturally inconsistent (legal) theories
- Remedying inconsistent sets of premises
- Facts, arguments, annotations and reasoning
- A paraconsistent logic programming approach for querying inconsistent databases
- Belief functions on distributive lattices
- Reasoning with different levels of uncertainty
- On the relationship between annotated logic programs and nonmonotonic formalisms
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Paraconsistency and word puzzles
- Policy-based inconsistency management in relational databases
- A logic for programming with complex objects
This page was built for publication: A logic for reasoning with inconsistency
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q688558)
