The following pages link to (Q3222243):
Displaying 4 items.
- Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic (Q1406853) (← links)
- Interpolation and amalgamation properties in varieties of equivalential algebras (Q1821777) (← links)
- Amalgamation and interpolation in ordered algebras. (Q2253035) (← links)
- Computing interpolants in implicational logics (Q2503400) (← links)