Categorical Abstract Algebraic Logic: Syntactically Algebraizable π-Institutions.
George VoutsadakisPublished in: Reports Math. Log. (2009)
Keyphrases
- algebraic structure
- computer algebra
- logic programming
- modal logic
- propositional dynamic logic
- high level
- proof theory
- higher order
- categorical data
- multi valued
- probabilistic logic
- databases
- numerical values
- mathematical theory
- nonmonotonic logics
- classical logic
- automated reasoning
- low level
- attribute values
- digital circuits
- predicate logic
- deontic logic
- decision trees
- information systems
- genetic algorithm
- database
- sound and complete axiomatization