Logical Semantics for the Rewriting Calculus.
Aaron StumpCarsten SchürmannPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- logical properties
- algebraic structure
- formal language
- database query languages
- formal semantics
- lambda calculus
- logical language
- predicate calculus
- relational calculus
- logic programming
- process algebra
- model theoretic
- dynamic logic
- logical structure
- logical framework
- logical theories
- rewrite rules
- proof procedure
- reasoning tasks
- description logics
- probabilistic logic
- logical formulas
- logical rules
- situation calculus
- semantic information
- transformation rules