Categorical Abstract Algebraic Logic: More on Protoalgebraicity.
George VoutsadakisPublished in: Notre Dame J. Formal Log. (2006)
Keyphrases
- propositional dynamic logic
- algebraic structure
- computer algebra
- high level
- modal logic
- categorical data
- logical framework
- proof theory
- computational properties
- mathematical theory
- logic programming
- attribute values
- defeasible logic
- predicate logic
- asynchronous circuits
- higher level
- logic synthesis
- deductive reasoning
- database