✦ LIBER ✦

Functional monadic Heyting algebras

✍ Scribed by Guram Bezhanishvili; John Harding

Book ID: 105754161
Publisher: Springer
Year: 2002
Tongue: English
Weight: 179 KB
Volume: 48
Category: Article
ISSN: 0002-5240
DOI: 10.1007/s00012-002-8202-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Functional Monadic Bounded Algebras

✍ Robert Goldblatt 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 187 KB

Profinite Heyting Algebras

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

Monadic dynamic algebras

✍ S. Marques Pinto; M. Teresa Oliveira-Martins; M. Céu Pinto 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 210 KB

The main purpose of this work is to introduce the class of the monadic dynamic algebras (dynamic algebras with one quantifier). Similarly to a theorem of Kozen we establish that every separable monadic dynamic algebra is isomorphic to a monadic (possibly non-standard) Kripke structure. We also class

Monadic Bounded Algebras

✍ Galym Akishev; Robert Goldblatt 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 487 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

In-symmetrical Heyting algebras

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