Pages that link to "Item:Q4264538"

The following pages link to Algebraic Characterizations for Universal Fragments of Logic (Q4264538):

Displaying 3 items.

• Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems (Q854961) (← links)
• Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas (Q3437039) (← links)
• Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems (Q3525204) (← links)