Kripke Semantics for Martin-Löf's Extensional Type Theory.
Steven AwodeyFlorian RabePublished in: TLCA (2009)
Keyphrases
- theoretical framework
- desirable properties
- formal semantics
- kripke models
- abstract argumentation frameworks
- proof theory
- conceptual schema
- speech acts
- default reasoning
- neural network
- theoretical basis
- modal logic
- model theoretic
- algebraic structure
- semantic information
- logical properties
- logic programming
- closed world assumption
- data sources