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

Free monadic Tarski algebras

โœ Scribed by A. V. Figallo


Book ID
105111230
Publisher
Springer
Year
1996
Tongue
English
Weight
371 KB
Volume
35
Category
Article
ISSN
0002-5240

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Free monadic Tarski algebras
โœ L.F. Monteiro; M. Abad; S. Savini; J. Sewald ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› Springer ๐ŸŒ English โš– 180 KB
Decomposability of free Tarski algebras
โœ J.Patricio Dรญaz Varela; Antoni Torrens ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Springer ๐ŸŒ English โš– 168 KB
Notes on Free Monadic Boolean Algebras
โœ Luiz F. Monteiro; Manuel Abad; Sonia Savini; Julio Sewald ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 101 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