Pages that link to "Item:Q4928968"
From MaRDI portal
The following pages link to Categorical Abstract Algebraic Logic: Algebraic Semantics for (\documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\bf{\pi }$\end{document})‐Institutions (Q4928968):
Displaying 4 items.
- Categorical abstract algebraic logic: behavioral \(\pi\)-institutions (Q456973) (← links)
- Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions (Q2354626) (← links)
- (Q5441065) (← links)
- Categorical abstract algebraic logic: Gentzenπ -institutions and the deduction-detachment property (Q5704806) (← links)