The following pages link to (Q5441065):
Displaying 4 items.
- Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions (Q2354626) (← links)
- Categorical abstract algebraic logic: more on protoalgebraicity (Q2372683) (← links)
- Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity (Q2642521) (← links)
- Categorical abstract algebraic logic: Gentzenπ -institutions and the deduction-detachment property (Q5704806) (← links)