𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Interpolation and amalgamation properties in varieties of equivalential algebras

✍ Scribed by Małgorzata Porębska

Publisher
Springer Netherlands
Year
1986
Tongue
English
Weight
219 KB
Volume
45
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Strong amalgamation, Beck–Chevalley for
Strong amalgamation, Beck–Chevalley for equivalence relations and interpolation in algebraic logic
✍ Adriana Galli; Gonzalo E. Reyes; Marta Sagastume 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 307 KB

We extend Makkai's proof of strong amalgamation (push-outs of monos along arbitrary maps are monos) from the category of Heyting algebras to a class which includes the categories of symmetric bounded distributive lattices, symmetric Heyting algebras, Heyting modal S4-algebras, Heyting modal bi-S4-al