Pages that link to "Item:Q1422453"

The following pages link to Categorical abstract algebraic logic: Equivalent institutions (Q1422453):

Displaying 16 items.

• Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions (Q308133) (← links)
• Categorical abstract algebraic logic: meet-combination of logical systems (Q355641) (← links)
• Categorical abstract algebraic logic: referential algebraic semantics (Q368473) (← links)
• Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems (Q816651) (← links)
• Categorical abstract algebraic logic: models of \(\pi\)-institutions (Q817965) (← links)
• Quasi-varieties in abstract algebraic institutions (Q1091132) (← links)
• Categorical abstract algebraic logic. Metalogical properties (Q1402587) (← links)
• Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms (Q1778066) (← links)
• Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions (Q2354626) (← links)
• Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity (Q2642521) (← links)
• Categorical abstract algebraic logic: on admissible equivalence systems (Q2906959) (← links)
• Equivalence of consequence relations: an order-theoretic and categorical perspective (Q3399178) (← links)
• Correspondences between gentzen and hilbert systems (Q3410681) (← links)
• Multi-term π-institutions and their equivalence (Q3419674) (← links)
• Categorical abstract algebraic logic: The criterion for deductive equivalence (Q4419263) (← links)
• Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic (Q4659579) (← links)