The fibrational formulation of intuitionistic predicate logic I: completeness according to Gödel, Kripke, and Läuchli, Part 2.
Michael MakkaiPublished in: Notre Dame J. Formal Log. (1993)
Keyphrases
- predicate logic
- temporal logic
- modal logic
- order sorted
- knowledge representation and reasoning
- formal logic
- model checking
- semantic net
- predicate calculus
- classical logic
- inference rules
- semantic network
- artificial intelligence
- fuzzy set theory
- lower level
- desirable properties
- computational linguistics
- linear logic
- information retrieval
- theorem prover
- fuzzy numbers
- interval valued
- logic programming
- higher level
- logic programs
- description logics
- knowledge representation
- search engine
- multiagent systems