Pages that link to "Item:Q368473"
From MaRDI portal
The following pages link to Categorical abstract algebraic logic: referential algebraic semantics (Q368473):
Displaying 6 items.
- Categorical abstract algebraic logic: models of \(\pi\)-institutions (Q817965) (← links)
- Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems (Q854961) (← links)
- Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics (Q4556008) (← links)
- Categorical abstract algebraic logic: skywatching in semilattice systems (Q4644535) (← links)
- Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic (Q4659579) (← links)
- Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence (Q5505141) (← links)