A Logic Language based on GAMMA-like Multiset Rewriting.
Paolo CiancariniDaniela FogliMauro GaspariPublished in: ELP (1996)
Keyphrases
- rewriting rules
- proof theory
- dynamic logic
- formal language
- intuitionistic logic
- highly expressive
- predicate calculus
- programming language
- formal logic
- operational semantics
- modal logic
- logic programming
- modal operators
- specification language
- classical logic
- language learning
- lambda calculus
- linear temporal logic
- agent programming
- order sorted
- asynchronous circuits
- conditional logic
- multi valued
- natural language
- database language
- rewrite rules
- algebraic structure
- formal theory
- mathematical theory
- transformation rules
- automated reasoning
- default reasoning
- knowledge base