# Convergence in MV-algebras.

George Georgescu; Fortuna Liguori; Giulia Martini

Mathware and Soft Computing (1997)

- Volume: 4, Issue: 1, page 41-52
- ISSN: 1134-5632

## Access Full Article

top## Abstract

top## How to cite

topGeorgescu, George, Liguori, Fortuna, and Martini, Giulia. "Convergence in MV-algebras.." Mathware and Soft Computing 4.1 (1997): 41-52. <http://eudml.org/doc/39099>.

@article{Georgescu1997,

abstract = {MV-algebras were introduced in 1958 by Chang [4] and they are models of Lukasiewicz infinite-valued logic. Chang gives a correspondence between the category of linearly ordered MV-algebras and the category of linearly ordered abelian l-groups.Mundici [10] extended this result showing a categorical equivalence between the category of the MV-algebras and the category of the abelian l-groups with strong unit.In this paper, starting from some definitions and results in abelian l-groups, we shall study the convergent sequences and the Cauchy sequences in an MV-algebra.The main result is the construction of the Cauchy completion A* of an MV-algebra A.It is proved that a complete MV-algebra is also Cauchy complete. Additional results on atomic and complete MV-algebras are also given.},

author = {Georgescu, George, Liguori, Fortuna, Martini, Giulia},

journal = {Mathware and Soft Computing},

keywords = {Sucesión de Cauchy; Teoremas de convergencia; Grupos abelianos; Algebra completa; Lógica multivaluada; convergent sequences; Cauchy sequences; MV-algebra; Cauchy completion; complete MV-algebra; atomic},

language = {eng},

number = {1},

pages = {41-52},

title = {Convergence in MV-algebras.},

url = {http://eudml.org/doc/39099},

volume = {4},

year = {1997},

}

TY - JOUR

AU - Georgescu, George

AU - Liguori, Fortuna

AU - Martini, Giulia

TI - Convergence in MV-algebras.

JO - Mathware and Soft Computing

PY - 1997

VL - 4

IS - 1

SP - 41

EP - 52

AB - MV-algebras were introduced in 1958 by Chang [4] and they are models of Lukasiewicz infinite-valued logic. Chang gives a correspondence between the category of linearly ordered MV-algebras and the category of linearly ordered abelian l-groups.Mundici [10] extended this result showing a categorical equivalence between the category of the MV-algebras and the category of the abelian l-groups with strong unit.In this paper, starting from some definitions and results in abelian l-groups, we shall study the convergent sequences and the Cauchy sequences in an MV-algebra.The main result is the construction of the Cauchy completion A* of an MV-algebra A.It is proved that a complete MV-algebra is also Cauchy complete. Additional results on atomic and complete MV-algebras are also given.

LA - eng

KW - Sucesión de Cauchy; Teoremas de convergencia; Grupos abelianos; Algebra completa; Lógica multivaluada; convergent sequences; Cauchy sequences; MV-algebra; Cauchy completion; complete MV-algebra; atomic

UR - http://eudml.org/doc/39099

ER -

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.