Categorical abstract algebraic logic: The criterion for deductive equivalence.
George VoutsadakisPublished in: Math. Log. Q. (2003)
Keyphrases
- deductive reasoning
- logical equivalence
- propositional dynamic logic
- logic programming
- proof theory
- modal logic
- functional programs
- computer algebra
- algebraic structure
- np complete
- categorical data
- classical logic
- mathematical theory
- higher order
- learning algorithm
- computational properties
- logical framework
- asynchronous circuits
- object oriented
- equivalence relation
- optimization criterion
- numerical values
- linear logic
- temporal logic
- data exchange
- knowledge representation
- hypothesis formation
- high level
- feature selection