Axiomatizing quantum MV-algebras
We introduce the notion of {\it p-ideal\/} of a QMV-algebra and we prove that the class of all $p$-ideals of a QMV-algebra $\C M$ is in one-to-one correspondence with the class of all congruence relations of $\C M$.
| Autor: | |
|---|---|
| Tipo de recurso: | artículo |
| Fecha de publicación: | 1997 |
| País: | España |
| Institución: | Universitat Politècnica de Catalunya (UPC) |
| Repositorio: | UPCommons. Portal del coneixement obert de la UPC |
| Idioma: | inglés |
| OAI Identifier: | oai:upcommons.upc.edu:2099/3485 |
| Acceso en línea: | https://hdl.handle.net/2099/3485 |
| Access Level: | acceso abierto |
| Palabra clave: | QMV-algebra MV-algebra Quantun logic Lògica algebraica Anells commutatius Classificació AMS::03 Mathematical logic and foundations::03G Algebraic logic |
| Sumario: | We introduce the notion of {\it p-ideal\/} of a QMV-algebra and we prove that the class of all $p$-ideals of a QMV-algebra $\C M$ is in one-to-one correspondence with the class of all congruence relations of $\C M$. |
|---|