A constructive negation for logics including TW+.
Gemma RoblesJosé M. MéndezPublished in: J. Appl. Non Class. Logics (2005)
Keyphrases
- truth values
- expressive power
- logic programming
- logic programs
- modal logic
- inference rules
- nonmonotonic logics
- fixpoint
- classical logic
- deductive databases
- horn clauses
- valued logic
- compositional semantics
- containment of conjunctive queries
- computational properties
- proof theory
- predicate logic
- horn clause logic
- database
- epistemic logic
- datalog programs
- database systems
- search engine
- information retrieval
- neural network