Uniqueness of MV-algebra implication and de Morgan negation
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 c...
| Autores: | , |
|---|---|
| Tipo de documento: | artigo |
| Data de publicação: | 1995 |
| País: | España |
| Recursos: | Universitat Politècnica de Catalunya (UPC) |
| Repositório: | UPCommons. Portal del coneixement obert de la UPC |
| Idioma: | inglês |
| OAI Identifier: | oai:upcommons.upc.edu:2099/2473 |
| Acesso em linha: | https://hdl.handle.net/2099/2473 |
| Access Level: | Acceso aberto |
| Palavra-chave: | MV-algebras Priestley duality De Morgan algebras Residuated semigroups Reticles, Teoria de Classificació AMS::03 Mathematical logic and foundations::03G Algebraic logic |
| Resumo: | 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. |
|---|