Amalgamation Theorems in Algebraic Logic, an overview.
Tarek Sayed AhmedPublished in: Log. J. IGPL (2005)
Keyphrases
- algebraic structure
- sequent calculus
- cut elimination
- modal logic
- computer algebra
- automated reasoning
- computational properties
- data sets
- predicate logic
- inference rules
- logic programming
- mathematical theory
- formal language
- probabilistic logic
- abductive reasoning
- epistemic logic
- asynchronous circuits
- proof theory
- knowledge representation
- proof search
- database
- sound and complete axiomatization