The fibrational formulation of intuitionistic predicate logic I: completeness according to Gödel, Kripke, and Läuchli, Part 1.
Michael MakkaiPublished in: Notre Dame J. Formal Log. (1993)
Keyphrases
- predicate logic
- temporal logic
- order sorted
- modal logic
- model checking
- knowledge representation and reasoning
- semantic net
- semantic network
- computational linguistics
- predicate calculus
- fuzzy set theory
- formal logic
- linear logic
- desirable properties
- classical logic
- artificial intelligence
- inference rules
- lower level
- theorem prover
- fuzzy numbers
- natural language processing
- expert systems