CAAL: Categorical Abstract Algebraic Logic: Coordinatization is Algebraization.
George VoutsadakisPublished in: Reports Math. Log. (2012)
Keyphrases
- computer algebra
- algebraic structure
- propositional dynamic logic
- logic programming
- predicate logic
- automated reasoning
- classical logic
- modal logic
- multi valued
- deontic logic
- categorical data
- website
- information systems
- attribute values
- database
- logical framework
- programming language
- mathematical theory
- higher order
- bayesian networks
- asynchronous circuits
- dynamic logic
- proof theory
- logic synthesis
- data sets