Prime spectra of non-commutative generalizations of MV-algebras. (Q1771943)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Prime spectra of non-commutative generalizations of MV-algebras. |
scientific article |
Statements
Prime spectra of non-commutative generalizations of MV-algebras. (English)
0 references
19 April 2005
0 references
A GMV-algebra is a non-commutative generalization of an MV-algebra, introduced by the author and G. Georgescu and A. Iorgulescu. It is shown that GMV-algebras are special cases of Grishin algebras, which play an important role for classical bilinear logic. GMV-algebras correspond to a non-commutative logic between Łukasiewicz logic and the mentioned bilinear logic. The main purpose of the paper is to describe the properties of prime ideal spectra of GMV-algebras, their factor algebras and ideals and to prove that the spectrum of closed ideals of any GMV-algebra is homeomorphic to that of a completely distributive GMV-algebra.
0 references
MV-algebra
0 references
GMV-algebra
0 references
Łukasiewicz logic
0 references
bilinear logic
0 references
prime ideal spectrum
0 references
Grishin algebras
0 references