Extra Theory Morphisms for Institutions: Logical Semantics for Multi-Paradigm Languages.
Razvan DiaconescuPublished in: Appl. Categorical Struct. (1998)
Keyphrases
- logical theories
- logical properties
- model theoretic
- logical framework
- general theory
- formal languages
- belief revision
- relational query languages
- situation calculus
- theoretical framework
- deductive databases
- formal semantics
- expressive power
- predicate calculus
- language independent
- speech acts
- logical language
- integrity constraints
- logic programming
- proof theory
- description logics
- database query languages
- specification languages
- natural language processing
- database systems