Categorical Abstract Algebraic Logic: Leibniz Equality and Homomorphism Theorems.
George VoutsadakisPublished in: Appl. Categorical Struct. (2006)
Keyphrases
- computer algebra
- algebraic structure
- logic programming
- cut elimination
- higher level
- propositional dynamic logic
- modal logic
- higher order
- categorical data
- high level
- mathematical theory
- proof search
- sequent calculus
- dynamic logic
- logical framework
- automated reasoning
- sound and complete axiomatization
- set theory
- classical logic
- multi valued