L-Fuzzy Sub-Effect Algebras

In this paper, the notions of L-fuzzy subalgebra degree and L-subalgebras on an effect algebra are introduced and some characterizations are given. We use four kinds of cut sets of L-subsets to characterize the L-fuzzy subalgebra degree. We induce an L-fuzzy convexity by the L-fuzzy subalgebra degree, and we prove that a morphism between two effect algebras is an L-fuzzy convexity preserving mapping and a monomorphism is an L-fuzzy convex-to-convex mapping. Finally, it is proved that the set of all L-subalgebras on an effect algebra can form an L-convexity, and its L-convex hull formula is given.

Closure systems over effect algebras

The present paper is an attempt to introduce the closure systems over effect algebras. At first, we will define closure systems over effect algebras, and for arbitrary set $ U $ and arbitrary subset S of all functions from U to an effect algebra L we will obtain the closure system containing S. Then, we will define the base of this closure system, and for arbitrary subset S of all functions from U to an effect algebra L we will obtain the base of this closure system.

Properties of implication in effect algebras

Effect algebras form a formal algebraic description of the structure of the so-called effects in a Hilbert space which serve as an event-state space for effects in quantum mechanics. This is why effect algebras are considered as logics of quantum mechanics, more precisely as an algebraic semantics of these logics. Because every productive logic is equipped with implication, we introduce here such a concept and demonstrate its properties. In particular, we show that this implication is connected with conjunction via a certain “unsharp” residuation which is formulated on the basis of a strict unsharp residuated poset. Though this structure is rather complicated, it can be converted back into an effect algebra and hence it is sound. Further, we study the Modus Ponens rule for this implication by means of so-called deductive systems and finally we study the contraposition law.

Roughness in basic algebras1

We introduce rough approximations into basic algebras. After investigating elementary properties of the upper (lower) approximations in basic algebras and discussing the convexity of these two approximations in linearly ordered basic algebras, we generalize related results for MV-algebras, lattice ordered effect algebras, and orthomodular lattices to basic algebras. We also study the relationship between upper (lower) rough ideals of basic algebras and upper (lower) approximations of their homomorphic images.