Pages that link to "Item:Q817965"
From MaRDI portal
The following pages link to Categorical abstract algebraic logic: models of \(\pi\)-institutions (Q817965):
Displaying 18 items.
- Categorical abstract algebraic logic: behavioral \(\pi\)-institutions (Q456973) (← links)
- Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems (Q816651) (← links)
- Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems (Q854961) (← links)
- Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties (Q878147) (← links)
- A categorical study on the finiteness of specifications (Q975404) (← links)
- Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions (Q2354626) (← links)
- Categorical abstract algebraic logic: more on protoalgebraicity (Q2372683) (← links)
- Categorical abstract algebraic logic: Partially ordered algebraic systems (Q2502179) (← links)
- Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity (Q2642521) (← links)
- Multi-term π-institutions and their equivalence (Q3419674) (← links)
- Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors (Q3430283) (← links)
- Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based -Institutions (Q3508161) (← links)
- Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems (Q3525204) (← links)
- Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems (Q4586425) (← links)
- Categorical Abstract Algebraic Logic: Algebraic Semantics for (\documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\bf{\pi }$\end{document})‐Institutions (Q4928968) (← links)
- (Q5441065) (← links)
- Categorical abstract algebraic logic: Gentzenπ -institutions and the deduction-detachment property (Q5704806) (← links)
- Conservative translations revisited (Q6156208) (← links)
