Pages that link to "Item:Q4586425"
From MaRDI portal
The following pages link to Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems (Q4586425):
Displaying 5 items.
- Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties (Q878147) (← links)
- Categorial fibring of logics with terms and binding operators (Q2782494) (← links)
- Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas (Q3437039) (← links)
- Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence (Q5505141) (← links)
- (Q5747514) (← links)
