Categorical Abstract Algebraic Logic: Algebraizable Institutions.
George VoutsadakisPublished in: Appl. Categorical Struct. (2002)
Keyphrases
- computer algebra
- propositional dynamic logic
- algebraic structure
- high level
- logic programming
- modal logic
- multi valued
- low level
- higher level
- categorical data
- automated reasoning
- mathematical theory
- sound and complete axiomatization
- decision trees
- algebraic geometry
- set theory
- computational properties
- classical logic
- probabilistic logic
- theorem prover