The Fact Semantics for Ramified Type Theory and the Axiom of Reducibility.
Edwin D. MaresPublished in: Notre Dame J. Formal Log. (2007)
Keyphrases
- theoretical framework
- general theory
- proof theory
- theoretical foundation
- formal semantics
- closed world assumption
- speech acts
- computational model
- real time
- information theory
- communicative acts
- database query languages
- algebraic structure
- model theoretic
- operational semantics
- conceptual graphs
- inference rules
- logic programming
- description logics
- domain knowledge
- data model
- multi agent
- high level
- genetic algorithm
- information retrieval
- neural network