On two fragments with negation and without implication of the logic of residuated lattices.
Félix BouÀngel García-CerdañaVentura VerdúPublished in: Arch. Math. Log. (2006)
Keyphrases
- logic programming
- horn clauses
- predicate logic
- logic programs
- closed world assumptions
- boolean algebra
- classical logic
- neural network
- derivation rules
- declarative semantics
- automated reasoning
- truth values
- multi valued
- natural language
- datalog programs
- computational properties
- deductive databases
- knowledge representation and reasoning
- fixpoint
- temporal logic
- inductive logic programming
- functional dependencies