𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Amalgamation, interpolation and epimorphisms in algebraic logic

✍ Scribed by Judit Madárasz; Tarek Sayed-Ahmed

Publisher
Springer
Year
2007
Tongue
English
Weight
689 KB
Volume
56
Category
Article
ISSN
0002-5240

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

Amalgamation and interpolation in normal
Amalgamation and interpolation in normal modal logics
✍ Larisa Maksimova 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 740 KB

This is a survey of results on interpolation in propositional normal modal logics. Interpolation properties of these logics are closely connected with amalgamation properties of varieties of modal algebras. Therefore, the results on interpolation are also reformulated in terms of amalgamation.