Syntactic Preservation Theorems for Intuitionistic Predicate Logic.
Jonathan FleischmannPublished in: Notre Dame J. Formal Log. (2010)
Keyphrases
- predicate logic
- cut elimination
- linear logic
- sequent calculus
- formal logic
- knowledge representation and reasoning
- temporal logic
- fuzzy set theory
- computational linguistics
- natural language
- lower level
- semantic net
- semantic network
- predicate calculus
- higher level
- fuzzy sets
- inference rules
- interval valued
- natural deduction
- logical formulas
- artificial intelligence
- fuzzy numbers
- fuzzy relations
- dynamic environments
- knowledge acquisition
- software engineering
- theorem prover