๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Functional Monadic Bounded Algebras

โœ Scribed by Robert Goldblatt


Book ID
106539149
Publisher
Springer Netherlands
Year
2010
Tongue
English
Weight
187 KB
Volume
96
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


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
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

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