Pages that link to "Item:Q2372683"

The following pages link to Categorical abstract algebraic logic: more on protoalgebraicity (Q2372683):

Displaying 14 items.

• Categorical abstract algebraic logic: behavioral \(\pi\)-institutions (Q456973) (← links)
• 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)
• Categorical abstract algebraic logic. Metalogical properties (Q1402587) (← links)
• Review of ``Protoalgebraic logics'' by J. Czelakowski (Q1422455) (← links)
• Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions (Q2354626) (← links)
• Categorical abstract algebraic logic: Partially ordered algebraic systems (Q2502179) (← links)
• Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity (Q2642521) (← links)
• Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas (Q3437039) (← links)
• Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based  -Institutions (Q3508161) (← links)
• Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems (Q4586425) (← links)
• (Q5441065) (← links)
• Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence (Q5505141) (← links)