Unicidad de implicación de álgebra-MV y negación de De Morgan.
Martínez, Néstor G. ; Priestley, Hilary A.
Mathware and Soft Computing, Tome 2 (1995), p. 229-245 / Harvested from Biblioteca Digital de Matemáticas
Access to full text

It is shown that the implication of an MV-algebra is determined by de Morgan negation operations on a family of quotients of the given algebra; these quotients may be taken to be totally ordered. Certain existing results on the uniqueness of an MV-algebra implication are thereby elucidated and new criteria for uniqueness derived. These rely on a characterisation of chains on which a de Morgan negation is necessarily unique.

Publié le : 1995-01-01
DMLE-ID : 1804 
@article{urn:eudml:doc:39045,
     title = {Unicidad de implicaci\'on de \'algebra-MV y negaci\'on de De Morgan.},
     journal = {Mathware and Soft Computing},
     volume = {2},
     year = {1995},
     pages = {229-245},
     zbl = {0857.06009},
     mrnumber = {MR1395433},
     language = {es},
     url = {http://dml.mathdoc.fr/item/urn:eudml:doc:39045}
}

Martínez, Néstor G.; Priestley, Hilary A. Unicidad de implicación de álgebra-MV y negación de De Morgan.. Mathware and Soft Computing, Tome 2 (1995) pp. 229-245. http://gdmltest.u-ga.fr/item/urn:eudml:doc:39045/