Retractive MV-algebras.
Roberto Cignoli, Antoni Torrens (1995)
Mathware and Soft Computing
Similarity:
Displaying similar documents to “Using maximal ideals in the classification of MV-algebras”
Retractive MV-algebras.
Axiomatizing quantum MV-algebras.
Roberto Giuntini (1997)
Mathware and Soft Computing
Similarity:
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.
Integral closure in MV-algebras.
L. Peter Belluce (2000)
Mathware and Soft Computing
Similarity:
We study the consequences of assuming on an MV-algebra A that Σnx exists for each x belonging to A.
Preboolean MV-algebras as bipartite MV-algebras.
Carmela Cella, Ada Lettieri (1992)
Stochastica
Similarity:
In this note we characterize bipartite MV-algebras by introducing the notion of preboolean MV-algebras.
Maximal MV-algebras.
Alexandru Filipoiu, George Georgescu, Ada Lettieri (1997)
Mathware and Soft Computing
Similarity:
In this paper we define maximal MV-algebras, a concept similar to the maximal rings and maximal distributive lattices. We prove that any maximal MV-algebra is semilocal, then we characterize a maximal MV-algebra as finite direct product of local maximal MV-algebras.
Connections between ideals of non-commutative generalizations of -algebras and ideals of their underlying lattices
Jiří Rachůnek (2001)
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
Similarity:
MV-algebras with additive closure operators
Jiří Rachůnek, Filip Švrček (2000)
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
Similarity:
Orthogonal decompositions of MV-spaces.
L. Peter Belluce, Salvatore Sessa (1997)
Mathware and Soft Computing
Similarity:
A maximal disjoint subset S of an MV-algebra A is a basis iff {x in A : x ≤ a} is a linearly ordered subset of A for all a in S. Let Spec A be the set of the prime ideals of A with the usual spectral topology. A decomposition Spec A = U T U X is said to be orthogonal iff each T is compact open and S = {a} is a maximal disjoint subset. We prove that this decomposition is unrefinable (i.e. no T = Theta ∩ Y with Theta open, Theta ∩ Y = emptyset, int Y = emptyset) iff S is a basis. Many...