Intensional semantics of system T of Gödel.

Pierre Valarcher

Published in: Electron. Notes Theor. Comput. Sci. (2000)

Keyphrases

formal semantics
higher order
logic programming
databases
social bookmarking
conceptual schema
artificial intelligence
data sets
search engine
knowledge base
semantic information
owl ontologies
operational semantics
model theoretic
argumentation semantics