𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On monadic MV-algebras

✍ Scribed by Antonio Di Nola; Revaz Grigolia


Book ID
108054562
Publisher
Elsevier Science
Year
2004
Tongue
English
Weight
267 KB
Volume
128
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


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
On pseudo MV-algebras
✍ A. Dvurečenskij πŸ“‚ Article πŸ“… 2001 πŸ› Springer 🌐 English βš– 140 KB
Notes on Free Monadic Boolean Algebras
✍ Luiz F. Monteiro; Manuel Abad; Sonia Savini; Julio Sewald πŸ“‚ Article πŸ“… 1999 πŸ› Springer Netherlands 🌐 English βš– 101 KB
MV-Observables and MV-Algebras
✍ Anatolij Dvurečenskij πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 135 KB

We introduce MV-observables, an analogue of observables for MV-algebras, as -homomorphisms from the Borel tribe generated by the Borel sets of ‫ޒ‬ and w x constant functions from 0, 1 into an MV-algebra M. We show that it is possible to define such observables only for weakly divisible MV-algebras.