Uniqueness of the implication for totally ordered MV-algebras
✍ Scribed by Néstor G. Martı́nez; Alejandro Petrovich
- Publisher
- Elsevier Science
- Year
- 2001
- Tongue
- English
- Weight
- 90 KB
- Volume
- 108
- Category
- Article
- ISSN
- 0168-0072
No coin nor oath required. For personal study only.
✦ Synopsis
It is shown that in a linearly ordered MV-algebra A, the implication is unique if and only if the identity function is the unique De Morgan automorphism on A. Modulo categorical equivalence, our uniqueness criterion recalls Ohkuma's rigidness condition for totally ordered abelian groups. We also show that, if A is an Archimedean totally ordered MV-algebra, then each non-trivial De Morgan automorphism of the underlying involutive lattice of A yields a new implication on A, which is not isomorphic to the original implication.
📜 SIMILAR VOLUMES
## Abstract Cognitive priming procedures were used to identify the unique effects that luck‐related concepts have on consumer behavior. The effects of these concepts could theoretically influence behavior through the elicitation of positive affect or via temporary changes in participants' self repr