Comprehension contradicts to the induction within Lukasiewicz predicate logic.
Shunsuke YatabePublished in: Arch. Math. Log. (2009)
Keyphrases
- predicate logic
- temporal logic
- modal logic
- knowledge representation and reasoning
- semantic net
- formal logic
- predicate calculus
- semantic network
- computational linguistics
- highly expressive
- model checking
- inference rules
- truth values
- lower level
- artificial intelligence
- information retrieval
- reasoning systems
- machine learning
- incomplete information
- logic programming
- knowledge representation