Axiomatizing quantum MV-algebras.
Mathware and Soft Computing (1997)
- Volume: 4, Issue: 1, page 23-39
- ISSN: 1134-5632
Access Full Article
top
Abstract
topHow to cite
topGiuntini, Roberto. "Axiomatizing quantum MV-algebras.." Mathware and Soft Computing 4.1 (1997): 23-39. <http://eudml.org/doc/39100>.
@article{Giuntini1997,
abstract = {We introduce the notion of p-ideal of a QMV-algebra and we prove that the class of all p-ideals of a QMV-algebra M is in one-to-one correspondence with the class of all congruence relations of M.},
author = {Giuntini, Roberto},
journal = {Mathware and Soft Computing},
keywords = {Lógica matemática; Algebras; Axiomas; Cuantificación; Lógica multivaluada; S-algebra; MV-algebra; QMV-algebra; QI-algebra; quasi-linear QMV-algebra; weakly-linear QMV-algebra; implication; axiomatizability; congruence relation; ideal; prime ideal; perspective; p-ideal},
language = {eng},
number = {1},
pages = {23-39},
title = {Axiomatizing quantum MV-algebras.},
url = {http://eudml.org/doc/39100},
volume = {4},
year = {1997},
}
TY - JOUR
AU - Giuntini, Roberto
TI - Axiomatizing quantum MV-algebras.
JO - Mathware and Soft Computing
PY - 1997
VL - 4
IS - 1
SP - 23
EP - 39
AB - We introduce the notion of p-ideal of a QMV-algebra and we prove that the class of all p-ideals of a QMV-algebra M is in one-to-one correspondence with the class of all congruence relations of M.
LA - eng
KW - Lógica matemática; Algebras; Axiomas; Cuantificación; Lógica multivaluada; S-algebra; MV-algebra; QMV-algebra; QI-algebra; quasi-linear QMV-algebra; weakly-linear QMV-algebra; implication; axiomatizability; congruence relation; ideal; prime ideal; perspective; p-ideal
UR - http://eudml.org/doc/39100
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.