𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On Amalgamation in Algebras of Logic

✍ Scribed by Tarek Sayed Ahmed


Publisher
Springer Netherlands
Year
2005
Tongue
English
Weight
237 KB
Volume
81
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Strong amalgamation, Beck–Chevalley for
✍ 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