A logic for reasoning with inconsistency
From MaRDI portal
Publication:688558
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; zbMATH DE number 4139718
- scientific article; zbMATH DE number 487144
Cites work
- scientific article; zbMATH DE number 4199656 (Why is no real title available?)
- scientific article; zbMATH DE number 4147465 (Why is no real title available?)
- scientific article; zbMATH DE number 3963779 (Why is no real title available?)
- scientific article; zbMATH DE number 4026795 (Why is no real title available?)
- scientific article; zbMATH DE number 4064538 (Why is no real title available?)
- scientific article; zbMATH DE number 192840 (Why is no real title available?)
- scientific article; zbMATH DE number 3467028 (Why is no real title available?)
- scientific article; zbMATH DE number 4193644 (Why is no real title available?)
- scientific article; zbMATH DE number 3415409 (Why is no real title available?)
- A logic for default reasoning
- An Equational Axiomatization for the Disjoint System of Post Algebras
- Belief, awareness, and limited reasoning
- Bilattices and the semantics of logic programming
- Destructive Modal Resolution
- First-order modal tableaux
- Paraconsistent logic programming
- Quantitative deduction and its fixpoint theory
- Reasoning about truth
Cited in
(31)- A paraconsistent logic programming approach for querying inconsistent databases
- Policy-based inconsistency management in relational databases
- Argumentative logics: Reasoning with classically inconsistent information
- A semantics for reasoning consistently in the presence of inconsistency
- On the relationship between annotated logic programs and nonmonotonic formalisms
- Automated theorem proving by resolution in non-classical logics
- scientific article; zbMATH DE number 487144 (Why is no real title available?)
- Binary resolution over Boolean lattices
- How paradox fares in inconsistency robust logic and beyond: computational and naturalized approaches
- An overview of transaction logic
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Fuzzy types: A framework for handling uncertainty about types of objects
- A logic for programming with complex objects
- On the complexity of entailment in propositional multivalued logics
- Tabulation proof procedures for fuzzy linguistic logic programming
- The value of the four values
- Logical foundations of evidential reasoning with contradictory information
- Reasoning with different levels of uncertainty
- A survey of annotated logics
- Belief functions on distributive lattices
- Facts, arguments, annotations and reasoning
- On recent applications of paraconsistent logic: an exploratory literature review
- scientific article; zbMATH DE number 4181307 (Why is no real title available?)
- scientific article; zbMATH DE number 4139718 (Why is no real title available?)
- Threshold Boolean logic
- Paraconsistency and word puzzles
- A note on the model-theoretic semantics of fuzzy logic programming for dealing with inconsistency
- Annotated fuzzy logic programs
- Inconsistency lemmas in algebraic logic
- Remedying inconsistent sets of premises
- Inconsistent knowledge as a natural phenomenon: the ranking of reasonable inferences as a computational approach to naturally inconsistent (legal) theories
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)
