Corrigendum to "Categorical abstract algebraic logic: The criterion for deductive equivalence".
George VoutsadakisPublished in: Math. Log. Q. (2005)
Keyphrases
- deductive reasoning
- logical equivalence
- computer algebra
- algebraic structure
- database language
- propositional dynamic logic
- proof theory
- high level
- modal logic
- object oriented
- classical logic
- categorical data
- np complete
- minimum description length
- logic programming
- default theories
- mathematical theory
- selection criterion
- automated reasoning
- database languages
- abductive inference
- algebraic operators
- markov equivalence classes
- strong equivalence
- dynamic logic
- predicate logic
- higher level