Pages that link to "Item:Q1778066"
From MaRDI portal
The following pages link to Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms (Q1778066):
Displayed 6 items.
- 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: The Diagram and the Reduction Operator Lemmas (Q3437039) (← links)
- Categorical abstract algebraic logic: The categorical Suszko operator (Q5434205) (← links)
- Categorical abstract algebraic logic: The largest theory system included in a theory family (Q5485402) (← links)