Pages that link to "Item:Q816651"
From MaRDI portal
The following pages link to Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems (Q816651):
Displaying 6 items.
- Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems (Q854961) (← links)
- Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties (Q878147) (← 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: Subdirect Representation of Pofunctors (Q3430283) (← links)