✦ LIBER ✦

Monadic Bounded Algebras

✍ Scribed by Galym Akishev; Robert Goldblatt

Book ID: 106539148
Publisher: Springer Netherlands
Year: 2010
Tongue: English
Weight: 487 KB
Volume: 96
Category: Article
ISSN: 0039-3215
DOI: 10.1007/s11225-010-9269-z

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Functional Monadic Bounded Algebras

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

Functional monadic Heyting algebras

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

Free monadic Tarski algebras

✍ L.F. Monteiro; M. Abad; S. Savini; J. Sewald 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 180 KB

Interpretations into monadic algebras

✍ Renato A. Lewin 📂 Article 📅 1987 🏛 Springer Netherlands 🌐 English ⚖ 627 KB

Free monadic Tarski algebras

✍ A. V. Figallo 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 371 KB