✦ LIBER ✦

On implication in MV-algebras

✍ Scribed by Jānis Cīrulis

Publisher: Springer
Year: 2007
Tongue: English
Weight: 463 KB
Volume: 56
Category: Article
ISSN: 0002-5240
DOI: 10.1007/s00012-007-1978-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Continuous approximations of product imp

Continuous approximations of product implication in MV-algebras with product

✍ F. Montagna; L. Spada 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 322 KB

Uniqueness of the implication for totall

Uniqueness of the implication for totally ordered MV-algebras

✍ Néstor G. Martı́nez; Alejandro Petrovich 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 90 KB

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 sho

On pseudo MV-algebras

✍ A. Dvurečenskij 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 140 KB

Fuzzy implicative and Boolean ideals of

Fuzzy implicative and Boolean ideals of MV-algebras

✍ C.S. Hoo 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 943 KB

Boolean Products of MV-Algebras: Hyperno

Boolean Products of MV-Algebras: Hypernormal MV-Algebras

✍ Roberto Cignoli; Antoni Torrens Torrell 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 214 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.