✦ LIBER ✦

A Representation Theorem for MV-algebras

✍ Scribed by Gejza Jenča

Publisher: Springer
Year: 2006
Tongue: English
Weight: 168 KB
Volume: 11
Category: Article
ISSN: 1432-7643
DOI: 10.1007/s00500-006-0100-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Functorial Representation Theorems for M

Functorial Representation Theorems for MVΔ Algebras with Additional Operators

✍ Franco Montagna 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 203 KB

We prove functorial representation theorems for MV algebras, and for varieties ⌬ obtained from MV algebras by the adding of additional operators corresponding ⌬ w x to natural operations in the real interval 0, 1 , namely PMV algebras, obtained by ⌬ the adding of product, and Ł ⌸ algebras, obtained

Fuzzy topology representation for MV-alg

Fuzzy topology representation for MV-algebras

✍ Jialu Zhang; Quanfa Chen 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 288 KB

## Abstract Let __M__ be an MV‐algebra and Ω~__M__~ be the set of all __σ__ ‐valuations from __M__ into the MV‐unit interval. This paper focuses on the characterization of MV‐algebras using __σ__ ‐valuations of MV‐algebras and proves that a __σ__ ‐complete MV‐algebra is __σ__ ‐regular, which means

Yosida Type Representation for Perfect M

Yosida Type Representation for Perfect MV-Algebras

✍ Lawrence P. Belluce; Antonio Di Nola 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 685 KB

In [9] Mundici introduced a categorical equivalence I' between the category of MV-algebras and the category of abelian .!-groups with strong unit. Using Mundici's functor r, in [a] the authors established an equivalence between the category of perfect MValgebras and the category of abelian f-groups.

A discrete representation of free MV-alg

A discrete representation of free MV-algebras

✍ Antonio Di Nola; Revaz Grigolia; Luca Spada 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 170 KB

## Abstract We prove that the __m__ ‐generated free MV‐algebra is isomorphic to a quotient of the disjoint union of all the __m__ ‐generated free MV^(__n__)^‐algebras. Such a quotient can be seen as the direct limit of a system consisting of all free MV^(__n__)^‐algebras and special maps between th

Local algebras in the representation of

Local algebras in the representation of MV-algebras

✍ A. Di Nola; I. Esposito; B. Gerla 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 690 KB

The Jegorov theorem on MV algebras

✍ Mária Jurečková 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 198 KB

The notion of the ®-compatible sequence of observables on MV algebras is given in this paper, and a version of the Jegorov theorem for this sequence of observables is presented.