✦ 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
DOI: 10.1007/s11225-005-2802-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Amalgamation, interpolation and epimorph

Amalgamation, interpolation and epimorphisms in algebraic logic

✍ Judit Madárasz; Tarek Sayed-Ahmed 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 689 KB

On amalgamation of reducts of polyadic a

On amalgamation of reducts of polyadic algebras

✍ Tarek Sayed Ahmed 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 617 KB

On the strong amalgamation of Boolean al

On the strong amalgamation of Boolean algebras

✍ B. Banaschewski 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 160 KB

Amalgamation in finite dimensional cylin

Amalgamation in finite dimensional cylindric algebras

✍ M. Marx 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 78 KB

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

Interpolation and amalgamation propertie

Interpolation and amalgamation properties in varieties of equivalential algebras

✍ Małgorzata Porębska 📂 Article 📅 1986 🏛 Springer Netherlands 🌐 English ⚖ 219 KB