Pages that link to "Item:Q2906959"

The following pages link to Categorical abstract algebraic logic: on admissible equivalence systems (Q2906959):

Displaying 9 items.

• Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions (Q308133) (← links)
• Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties (Q878147) (← links)
• (Q3032232) (← links)
• Equivalence of consequence relations: an order-theoretic and categorical perspective (Q3399178) (← links)
• (Q3431258) (← links)
• Categorical abstract algebraic logic: The criterion for deductive equivalence (Q4419263) (← links)
• Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics (Q4556008) (← links)
• Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems (Q4586425) (← links)
• Categorical abstract algebraic logic: The largest theory system included in a theory family (Q5485402) (← links)