Categorical Abstract Algebraic Logic: Behavioral π-Institutions.
George VoutsadakisPublished in: Stud Logica (2014)
Keyphrases
- propositional dynamic logic
- algebraic structure
- categorical data
- computer algebra
- logic programming
- modal logic
- high level
- digital libraries
- low level
- classical logic
- artificial intelligence
- asynchronous circuits
- formal theory
- predicate logic
- automated reasoning
- decision trees
- mathematical theory
- educational institutions
- computational properties
- higher level
- proof theory
- data mining
- algebraic expressions