Noetherian and Artinian pseudo MV-algebras
The notions of Noetherian pseudo MV-algebras and Artinian pseudo MV-algebras are introduced and their characterizations are established. Characterizations of them via fuzzy ideals are also given.
Normalization of basic algebras
We consider algebras determined by all normal identities of basic algebras. For such algebras, we present a representation based on a q-lattice, i.e., the normalization of a lattice.
Normalization of -algebras
We consider algebras determined by all normal identities of -algebras, i.e. algebras of many-valued logics. For such algebras, we present a representation based on a normalization of a sectionally involutioned lattice, i.e. a -lattice, and another one based on a normalization of a lattice-ordered group.
Observables on -MV algebras and -lattice effect algebras
Effect algebras were introduced as abstract models of the set of quantum effects which represent sharp and unsharp properties of physical systems and play a basic role in the foundations of quantum mechanics. In the present paper, observables on lattice ordered -effect algebras and their “smearings” with respect to (weak) Markov kernels are studied. It is shown that the range of any observable is contained in a block, which is a -MV algebra, and every observable is defined by a smearing of a sharp...
On a cancellation rule for subdirect products of lattice ordered groups and of -algebras
On a homogeneity condition for -algebras
In this paper we deal with a homogeneity condition for an -algebra concerning a generalized cardinal property. As an application, we consider the homogeneity with respect to -completeness, where runs over the class of all infinite cardinals.
On annihilators in BL-algebras
In the paper, we introduce the notion of annihilators in BL-algebras and investigate some related properties of them. We get that the ideal lattice (I(L), ⊆) is pseudo-complemented, and for any ideal I, its pseudo-complement is the annihilator I⊥ of I. Also, we define the An (L) to be the set of all annihilators of L, then we have that (An(L); ⋂,∧An(L),⊥,0, L) is a Boolean algebra. In addition, we introduce the annihilators of a nonempty subset X of L with respect to an ideal I and study some properties...
On archimedean -algebras
On central atoms of Archimedean atomic lattice effect algebras
If element of a lattice effect algebra is central, then the interval is a lattice effect algebra with the new top element and with inherited partial binary operation . It is a known fact that if the set of central elements of is an atomic Boolean algebra and the supremum of all atoms of in equals to the top element of , then is isomorphic to a direct product of irreducible effect algebras ([16]). In [10] Paseka and Riečanová published as open problem whether is a bifull sublattice...
On chains in -algebras
On free -algebras
In the present paper we show that free -algebras can be constructed by applying free abelian lattice ordered groups.
On fuzzy ideals of pseudo MV-algebras
Fuzzy ideals of pseudo MV-algebras are investigated. The homomorphic properties of fuzzy prime ideals are given. A one-to-one correspondence between the set of maximal ideals and the set of fuzzy maximal ideals μ satisfying μ(0) = 1 and μ(1) = 0 is obtained.
On idempotent modifications of -algebras
The notion of idempotent modification of an algebra was introduced by Ježek. He proved that the idempotent modification of a group is subdirectly irreducible. For an -algebra we denote by and the idempotent modification, the underlying set or the underlying lattice of , respectively. In the present paper we prove that if is semisimple and is a chain, then is subdirectly irreducible. We deal also with a question of Ježek concerning varieties of algebras.
On interval subalgebras of generalized MV-algebras
On intervals and isometries of -algebras
Let Int be the lattice of all intervals of an -algebra . In the present paper we investigate the relations between direct product decompositions of and (i) the lattice Int , or (ii) 2-periodic isometries on , respectively.
On intervals and the dual of a pseudo MV-algebra
On product -algebras
In this paper we apply the notion of the product -algebra in accordance with the definition given by B. Riečan. We investigate the convex embeddability of an -algebra into a product -algebra. We found sufficient conditions under which any two direct product decompositions of a product -algebra have isomorphic refinements.
On ()-fuzzy filters of pseudo-BL algebras.
On Riečan and Bosbach states for bounded non-commutative -monoids
On some contributions to quantum structures by fuzzy sets
It is well known that the fuzzy sets theory can be successfully used in quantum models ([5, 26]). In this paper we give first a review of recent development in the probability theory on tribes and their generalizations – multivalued (MV)-algebras. Secondly we show some applications of the described method to develop probability theory on IF-events.