✦ LIBER ✦

Free Heyting algebras

✍ Scribed by A. Urquhart

Book ID: 112948231
Publisher: Springer
Year: 1973
Tongue: English
Weight: 192 KB
Volume: 3
Category: Article
ISSN: 0002-5240
DOI: 10.1007/bf02945107

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Profinite Heyting Algebras

✍ G. Bezhanishvili; N. Bezhanishvili 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 419 KB

Functional monadic Heyting algebras

✍ Guram Bezhanishvili; John Harding 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 179 KB

In-symmetrical Heyting algebras

✍ Sonia Savini; Julio Sewald; Alicia Ziliani 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 384 KB

Interpretations into Heyting algebras

✍ Renato Lewin 📂 Article 📅 1987 🏛 Springer 🌐 English ⚖ 617 KB

Heyting Algebras with Operators

✍ Yasusi Hasimoto 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 183 KB

In this paper, we will give a general description of subdirectly irreducible Heyting algebras with operators under some weak conditions, which includes the finite case, the normal case and the case for Boolean algebras with diamond operator. This can be done by normalizing these operators. This answ