# Axiomatizing quantum MV-algebras.

Mathware and Soft Computing (1997)

- Volume: 4, Issue: 1, page 23-39
- ISSN: 1134-5632

## Access Full Article

top## Abstract

top## How 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 ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.