Categorical Abstract Algebraic Logic: Equivalent Institutions.
George VoutsadakisPublished in: Stud Logica (2003)
Keyphrases
- modal logic
- categorical data
- propositional dynamic logic
- algebraic structure
- logic programming
- computer algebra
- mathematical theory
- high level
- higher level
- multi valued
- classical logic
- proof theory
- algebraic operators
- case study
- asynchronous circuits
- nonmonotonic logics
- set theory
- computational properties
- automated reasoning
- temporal logic