Pages that link to "Item:Q878147"
From MaRDI portal
The following pages link to Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties (Q878147):
Displaying 3 items.
- Categorical abstract algebraic logic: behavioral \(\pi\)-institutions (Q456973) (← links)
- Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas (Q3437039) (← links)
- Categorical Abstract Algebraic Logic: Algebraic Semantics for (\documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\bf{\pi }$\end{document})‐Institutions (Q4928968) (← links)
