The following pages link to (Q5747514):
Displayed 3 items.
- Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties (Q878147) (← links)
- Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors (Q3430283) (← links)
- Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas (Q3437039) (← links)