Pages that link to "Item:Q1778066"

The following pages link to Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms (Q1778066):

Displaying 10 items.

• Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems (Q816651) (← links)
• Categorical abstract algebraic logic: models of \(\pi\)-institutions (Q817965) (← links)
• Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties (Q878147) (← links)
• A logic of implications in algebra and coalgebra (Q1047097) (← links)
• Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas (Q3437039) (← links)
• On the unity of algebra and logic (Q3803296) (← links)
• Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic (Q4659579) (← links)
• Categorical abstract algebraic logic: The categorical Suszko operator (Q5434205) (← links)
• Categorical abstract algebraic logic: The largest theory system included in a theory family (Q5485402) (← links)
• N‐Categories in Logic (Q5903366) (← links)