Pages that link to "Item:Q688558"
From MaRDI portal
The following pages link to A logic for reasoning with inconsistency (Q688558):
Displaying 21 items.
- Belief functions on distributive lattices (Q490415) (← links)
- A note on the model-theoretic semantics of fuzzy logic programming for dealing with inconsistency (Q598579) (← links)
- A logic for programming with complex objects (Q686642) (← links)
- Binary resolution over Boolean lattices (Q853473) (← links)
- Tabulation proof procedures for fuzzy linguistic logic programming (Q899133) (← links)
- The value of the four values (Q1274293) (← links)
- An overview of transaction logic (Q1341707) (← links)
- On the complexity of entailment in propositional multivalued logics (Q1380415) (← links)
- Annotated fuzzy logic programs (Q1568489) (← links)
- Fuzzy types: A framework for handling uncertainty about types of objects (Q1594851) (← links)
- Policy-based inconsistency management in relational databases (Q2353971) (← links)
- Automated theorem proving by resolution in non-classical logics (Q2385426) (← links)
- A paraconsistent logic programming approach for querying inconsistent databases (Q2463646) (← links)
- Logical Foundations of Evidential Reasoning with Contradictory Information (Q3305428) (← links)
- Threshold Boolean logic (Q3426345) (← links)
- Reasoning with different levels of uncertainty (Q3643259) (← links)
- Paraconsistency and word puzzles (Q4593052) (← links)
- On the relationship between annotated logic programs and nonmonotonic formalisms (Q4864837) (← links)
- A Survey of Annotated Logics (Q5213771) (← links)
- On recent applications of paraconsistent logic: an exploratory literature review (Q5243397) (← links)
- Facts, arguments, annotations and reasoning (Q5929094) (← links)
