Pages that link to "Item:Q2354626"
From MaRDI portal
The following pages link to Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions (Q2354626):
Displaying 6 items.
- Categorical abstract algebraic logic: behavioral \(\pi\)-institutions (Q456973) (← links)
- Categorical abstract algebraic logic. Metalogical properties (Q1402587) (← links)
- Categorical abstract algebraic logic: Equivalent institutions (Q1422453) (← links)
- Categorical abstract algebraic logic: The criterion for deductive equivalence (Q4419263) (← links)
- (Q5441065) (← links)
- Categorical abstract algebraic logic: Gentzenπ -institutions and the deduction-detachment property (Q5704806) (← links)