Pages that link to "Item:Q3419674"

The following pages link to Multi-term π-institutions and their equivalence (Q3419674):

Displaying 2 items.

• Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions (Q308133) (← links)
• Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions (Q2354626) (← links)