Pages that link to "Item:Q3508161"
From MaRDI portal
The following pages link to Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based -Institutions (Q3508161):
Displaying 3 items.
- Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity (Q2642521) (← links)
- Categorical Abstract Algebraic Logic: Algebraic Semantics for (\documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\bf{\pi }$\end{document})‐Institutions (Q4928968) (← links)
- Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence (Q5505141) (← links)