An Improved Refutation System for Intuitionistic Predicate Logic.
Pierangelo MiglioliUgo MoscatoMario OrnaghiPublished in: J. Autom. Reason. (1994)
Keyphrases
- predicate logic
- theorem prover
- classical logic
- knowledge representation and reasoning
- automated reasoning
- theorem proving
- semantic net
- formal logic
- logic programming
- predicate calculus
- temporal logic
- computational linguistics
- semantic network
- fuzzy set theory
- fuzzy numbers
- linear logic
- first order logic
- lower level
- inference rules
- interval valued
- machine learning
- heuristic search
- domain specific
- knowledge discovery
- artificial intelligence
- information retrieval