Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas.
George VoutsadakisPublished in: Math. Log. Q. (2007)
Keyphrases
- propositional dynamic logic
- computer algebra
- algebraic structure
- proof search
- modal operators
- logic programming
- categorical data
- theorem prover
- computational properties
- numerical data
- asynchronous circuits
- modal logic
- genetic algorithm
- deontic logic
- linear logic
- mathematical theory
- classical logic
- data sets
- logical framework
- theorem proving
- attribute values
- higher level
- defeasible logic
- predicate logic
- aggregation operators
- search procedure
- proof procedure
- automated theorem proving
- proof theory
- logic programs
- low level
- data mining