Mostra el registre d'ítem simple

Uniqueness of MV-algebra implication and de Morgan negation

dc.contributor.authorMartínez, Nestor Guillermo
dc.contributor.authorPriestley, H. A
dc.date.accessioned2007-03-05T18:48:32Z
dc.date.available2007-03-05T18:48:32Z
dc.date.issued1995
dc.identifier.issn1134-5632
dc.identifier.urihttp://hdl.handle.net/2099/2473
dc.description.abstractIt 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.
dc.format.extent17
dc.language.isoeng
dc.publisherUniversitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica
dc.relation.ispartofMathware & soft computing . 1995 Vol. 2 Núm. 3 p.229-245
dc.rightsReconeixement-NoComercial-CompartirIgual 3.0 Espanya
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/es/
dc.subject.otherMV-algebras
dc.subject.otherPriestley duality
dc.subject.otherDe Morgan algebras
dc.subject.otherResiduated semigroups
dc.titleUniqueness of MV-algebra implication and de Morgan negation
dc.typeArticle
dc.subject.lemacReticles, Teoria de
dc.subject.amsClassificació AMS::03 Mathematical logic and foundations::03G Algebraic logic
dc.rights.accessOpen Access


Fitxers d'aquest items

Thumbnail
Nom:
martinez.pdf
Mida:
391,0Kb
Format:
PDF
Visualitza/Obre

Aquest ítem apareix a les col·leccions següents

Mostra el registre d'ítem simple