✦ LIBER ✦

Interpretations into monadic algebras

✍ Scribed by Renato A. Lewin

Book ID: 104745037
Publisher: Springer Netherlands
Year: 1987
Tongue: English
Weight: 627 KB
Volume: 46
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf00370644

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Interpretations into Heyting algebras

✍ Renato Lewin 📂 Article 📅 1987 🏛 Springer 🌐 English ⚖ 617 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

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

Functional Monadic Bounded Algebras

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