We introduce weakly divisible MV-algebras and we show that every weakly divisible a-complete MV-algebra is isomorphic to the system of all continuous fuzzy functions defined on some compact Hausdorff space which generalizes a result of Di Nola and Sesse (in "Non Classical Logics and Their Applicatio
Weakly linear quantum MV-algebras
β Scribed by Roberto Giuntini
- Book ID
- 105754286
- Publisher
- Springer
- Year
- 2005
- Tongue
- English
- Weight
- 254 KB
- Volume
- 53
- Category
- Article
- ISSN
- 0002-5240
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
## Abstract The present paper introduces and studies the variety π²βοΈ~__n__~ of __n__βlinear weakly Heyting algebras. It corresponds to the algebraic semantic of the strict implication fragment of the normal modal logic __K__ with a generalization of the axiom that defines the linear intuitionistic
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.