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