✦ LIBER ✦

Amalgamation and interpolation in the category of heyting algebras

✍ Scribed by A.M. Pitts

Book ID: 107816369
Publisher: Elsevier Science
Year: 1983
Tongue: English
Weight: 901 KB
Volume: 29
Category: Article
ISSN: 0022-4049
DOI: 10.1016/0022-4049(83)90104-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Interpolation and amalgamation propertie

Interpolation and amalgamation properties in varieties of equivalential algebras

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

Amalgamation, interpolation, and implici

Amalgamation, interpolation, and implicit definability in varieties of algebras

✍ L. L. Maksimova 📂 Article 📅 2012 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 615 KB

Amalgamation, interpolation and epimorph

Amalgamation, interpolation and epimorphisms in algebraic logic

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

On some Classes of Heyting Algebras with

On some Classes of Heyting Algebras with Successor that have the Amalgamation Property

✍ José L. Castiglioni, Hernán J. San Martín 📂 Article 📅 2012 🏛 Springer Netherlands 🌐 English ⚖ 224 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

Free-decomposability in varieties of sem

Free-decomposability in varieties of semi-Heyting algebras

✍ Manuel Abad; Juan Manuel Cornejo; Patricio Díaz Varela 📂 Article 📅 2012 🏛 John Wiley and Sons 🌐 English ⚖ 136 KB