Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence.
George VoutsadakisPublished in: Math. Log. Q. (2009)
Keyphrases
- propositional dynamic logic
- logic programming
- categorical data
- algebraic structure
- multi valued
- high level
- mathematical theory
- feature matching
- classical logic
- computer algebra
- point correspondences
- real time
- logical framework
- reasoning about actions
- automated reasoning
- formal theory
- numerical data
- higher order
- artificial intelligence