Pages that link to "Item:Q3437039"
From MaRDI portal
The following pages link to Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas (Q3437039):
Displaying 4 items.
- Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems (Q854961) (← links)
- Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems (Q3525204) (← links)
- Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems (Q4586425) (← links)
- (Q5747514) (← links)