Pages that link to "Item:Q2354626"

The following pages link to Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions (Q2354626):

Displaying 3 items.

• Categorical abstract algebraic logic: behavioral \(\pi\)-institutions (Q456973) (← links)
• (Q5441065) (← links)
• Categorical abstract algebraic logic: Gentzenπ -institutions and the deduction-detachment property (Q5704806) (← links)