BL-algebras and quantum structures
Thomas Vetterlein (2004)
Mathematica Slovaca
Similarity:
Thomas Vetterlein (2004)
Mathematica Slovaca
Similarity:
Esko Turunen (1992)
Kybernetika
Similarity:
Ulrich Höhle (1995)
Mathware and Soft Computing
Similarity:
This paper introduces the structure of enriched MV-algebras and studies on this basis various relations between sigma-complete MV-algebras and T-tribes.
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.
Jiří Rachůnek (2002)
Mathematica Slovaca
Similarity:
Carmela Cella, Ada Lettieri (1992)
Stochastica
Similarity:
In this note we characterize bipartite MV-algebras by introducing the notion of preboolean MV-algebras.
Francesc Esteva, Lluis Godo (1999)
Mathware and Soft Computing
Similarity:
In this paper we investigate a propositional fuzzy logical system LΠ which contains the well-known Lukasiewicz, Product and Gödel fuzzy logics as sublogics. We define the corresponding algebraic structures, called LΠ-algebras and prove the following completeness result: a formula φ is provable in the LΠ logic iff it is a tautology for all linear LΠ-algebras. Moreover, linear LΠ-algebras are shown to be embeddable in linearly ordered abelian rings with a strong unit and cancellation law. ...