Self-extensional three-valued paraconsistent logics have no implication.
Arnon AvronJean-Yves BéziauPublished in: Log. J. IGPL (2017)
Keyphrases
- valued semantics
- logical implication
- dl lite
- description logics
- inference rules
- functional dependencies
- automated reasoning
- deductive databases
- consistent query answering
- default logic
- query answering
- refinement operators
- nonmonotonic logics
- integrity constraints
- first order logic
- xml keys
- modal logic
- computational complexity
- answering queries
- truth values
- schema integration
- data complexity
- query rewriting
- horn clauses
- knowledge base
- conjunctive queries
- expressive power
- computational properties
- reasoning tasks
- neural network
- temporal reasoning
- logic programming