Pages that link to "Item:Q308133"

The following pages link to Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions (Q308133):

Displayed 6 items.

• The semantic isomorphism theorem in abstract algebraic logic (Q324257) ‎ (← links)
• Coproduct and amalgamation of deductive systems by means of ordered algebras (Q2169140) ‎ (← links)
• \(M\)-sets and the representation problem (Q2350212) ‎ (← links)
• Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions (Q2354626) ‎ (← links)
• AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS (Q5381042) ‎ (← links)
• Abstract algebraic logic. An introductory chapter (Q6120603) ‎ (← links)