Tableaux for Intuitionistic Predicate Logic as Metatheory.
Judith L. UnderwoodPublished in: TABLEAUX (1995)
Keyphrases
- predicate logic
- modal logic
- temporal logic
- linear logic
- knowledge representation and reasoning
- interval valued
- fuzzy set theory
- theorem prover
- functional dependencies
- semantic net
- fuzzy numbers
- formal logic
- automated reasoning
- predicate calculus
- lower level
- computational linguistics
- model checking
- semantic network
- fuzzy relations
- web services
- machine learning
- information retrieval
- data model
- general purpose
- description logics
- fuzzy sets
- knowledge based systems