Paraconsistent Logic and Weakening of Intuitionistic Negation.
Zoran MajkicPublished in: J. Intell. Syst. (2012)
Keyphrases
- linear logic
- logic programming
- fuzzy set theory
- logic programs
- classical logic
- interval valued
- theorem prover
- fuzzy numbers
- deductive databases
- fuzzy information
- fixpoint
- predicate logic
- compositional semantics
- containment of conjunctive queries
- closed world
- natural deduction
- datalog programs
- fuzzy logic
- training data
- logical framework
- answer set programming
- programming language
- cut elimination
- decision trees
- artificial intelligence