Next Article in Journal
Efficiency of Commercial Banking in Developing Countries
Next Article in Special Issue
Soft Computing for Decision-Making in Fuzzy Environments: A Tribute to Professor Ioan Dzitac
Previous Article in Journal
Stock Price Volatility Estimation Using Regime Switching Technique-Empirical Study on the Indian Stock Market
Previous Article in Special Issue
Application of Induced Preorderings in Score Function-Based Method for Solving Decision-Making with Interval-Valued Fuzzy Soft Information
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

L-Fuzzy Sub-Effect Algebras

Beijing Key Laboratory on MCAACI, School of Mathematics and Statistics, Beijing Institute of Technology, Beijing 102488, China
*
Author to whom correspondence should be addressed.
Mathematics 2021, 9(14), 1596; https://doi.org/10.3390/math9141596
Submission received: 13 May 2021 / Revised: 12 June 2021 / Accepted: 29 June 2021 / Published: 7 July 2021

Abstract

:
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.

1. Introduction

Effect algebras were introduced by Foulis and Bennett to axiomatize quantum logic effects on a Hilbert space [1]. The elements of effect algebras represent events that may be unsharp or imprecise. Effect algebras are partial algebras with one partial binary operation that can be converted into bounded posets in general and into lattices in some cases. Since Zadeh introduced the concept of fuzzy sets [2], the theory of fuzzy sets has become a vigorous area of research in different disciplines. In recent years, many scholars have studied (fuzzy) ideals [3,4] and (fuzzy) filters [5,6] (the lattice background is [ 0 , 1 ] ) on effect algebras, but there is no research on the fuzzy subalgebras (L-subalgebras). In order to fill this gap, we first want to extend the unit interval [ 0 , 1 ] to a completely distributive lattice L and introduce the notion of L-subalgebras on effect algebras. As we all know, for a given L-subset A, A is either an L-subalgebra or not, so let us consider the question: what is the degree to which A is an L-subalgebra? To solve this question, we propose the concept of L-subalgebra degree on effect algebras and investigate their basic properties in this paper.
The notion of convexity [7] is inspired by the shape of some figures, such as circles and polyhedrons in Euclidean spaces. As we all know, a convex structure satisfying the Exchange Law [8] is a matroid, matroids are precisely the structures for which the very simple and efficient greedy algorithm works. Many real-world problems can be defined and solved by making use of matroid theory. So convexity theory has been regarded as an increasingly important role in solving problems. In fact, there exist convexities in many mathematical structures such as semigroup, ring, posets, graphs, convergence spaces and so on [9,10,11,12,13]. It is also natural to consider if there exist convex structures on effect algebras. By these motivations, we will try to prove the existence of convexity on effect algebras.
With the development of fuzzy sets, the notion of convexities has already been extended to fuzzy case. In 1994, Rosa [14] first proposed the notion of fuzzy convex structures with the unit interval [ 0 , 1 ] as the lattice background. In 2009, Y. Maruyama [15] defined another more generalized fuzzy convex structure based on a completely distributive lattice L, which is called L-convex structure, some of the latest research related to L-convex structure can be found in [16,17,18,19,20,21]. In 2014, a new approach to the fuzzification of convex structures was introduced in [22]. It is called an M-fuzzifying convex structure, in which each subset can be regarded as a convex set to some degrees. Further, there are some studies about M-fuzzifying convex structures showed in [23,24,25,26]. In 2017, abstract convexity was extended to a more general case, which is called an ( L , M ) -fuzzy convex structure in [27]. Particularly, an ( L , L ) -fuzzy structure is briefly called an L-fuzzy convex structure. Many researchers investigated ( L , M ) -fuzzy convex structures from different aspects [28,29,30,31,32]. In our paper, we mainly discuss L-fuzzy convex structure and L-convex structure on an effect algebra.
The paper is organized in the following way. In Section 2, we will give some necessary notations and definitions. In Section 3, we propose the notion of L-fuzzy subalgebra degree on an effect algebra by means of the implication operator of L, and we provide their characterizations by cut sets of L-subsets. For instance, we give the notion of L-subalgebras on effect algebras. In Section 4, we obtain an L-fuzzy convexity induced by L-fuzzy subalgebra degree, and we analyze the corresponding L-fuzzy convexity preserving mappings and L-fuzzy convex-to-convex mappings. Finally, we prove that the set of all L-subalgebras on an effect algebra can form an L-convexity, and we provide its L-convex hull formula.

2. Preliminaries

In this section, we provide some notions and results that will be used in this paper.
Definition 1
([1]). An effect algebra is a system ( E , , 0 , 1 ) consisting of a set E with two special elements 0 , 1 E , called the zero and the unit, and with a partially defined binary operation ⊕ satisfying the following conditions: for any x , y , z E ,
(E1)
(Commutative law) if x y is defined, then y x is defined and x y = y x ,
(E2)
(Associative law) if x y is defined and ( x y ) z is defined, then y z and x ( y z ) are defined and ( x y ) z = x ( y z ) ,
(E3)
(Orthosupplement law) for every x E there exists a unique x E such that x x is defined and x x = 1 . The unique element x E called the orthosupplement of x,
(E4)
(Zero-one law) if x 1 is defined, then x = 0 .
In the following, an effect algebra ( E , , 0 , 1 ) is denoted by E unless otherwise specified.
Definition 2
([33]). A nonempty subset S of an effect algebra E is called a subalgebra if it satisfies the following conditions:
(i)
0 , 1 S ,
(ii)
x S implies x S ,
(iii)
if x , y S and x y is defined, then x y S .
Let E be an effect algebra. If x y is defined, then we say x y for all x , y E . Define a binary relation on E by x y if for some z E , x z = y , which turns out to be a partial ordering on E such that 0 and 1 is the smallest element and the greatest element of E, respectively. If the poset ( E , ) is a lattice, then E is called a lattice-ordered effect algebra.
Let L be a complete lattice. We denote the minimal element and the maximal element of L by L and L , respectively. An element λ L is called co-prime if λ δ ξ implies λ δ or λ ξ . The set of nonzero co-prime elements in L is denoted by J ( L ) . An element λ L is called prime if λ δ ξ implies λ δ or λ ξ . The set of nonunit prime elements in L is denoted by P ( L ) . From [34], we know that each element of L is the sup of co-prime elements and the inf of prime elements.
Let δ , ξ L , the symbol δ ξ ( δ is wedge below ξ ) means that for every H L , ξ H implies the existence of η H such that δ η . A complete lattice L is completely distributive [34] if and only if ξ = { δ δ ξ } for each ξ L . The set { δ δ ξ } , denoted by β ( ξ ) , is called the greatest minimal family of ξ in the sense of [34]. Let β * ( ξ ) = β ( ξ ) J ( L ) . Moreover, define a binary relation o p as follows: for ξ , δ L , ξ o p δ if and only if for every subset H L , H ξ implies λ δ for some λ H . The set { δ L ξ o p δ } , denoted by α ( ξ ) , is the greatest maximal family of ξ in the sense of [34]. Let α * ( ξ ) = α ( ξ ) P ( L ) . We know that α is an mapping and β is a union-preserving mapping, it holds that ξ = β ( ξ ) = β * ( ξ ) = α ( ξ ) = α * ( ξ ) for each ξ L (see [34]). From [35], we have α ( L ) = and β ( L ) = .
In the following, a completely distributive lattice ( L , , ) is denoted by L unless otherwise specified.
For an effect algebra E, each mapping A : E L is called an L-subset of E, and we denote the collection of all L-subsets of E by L E . L E is also a complete lattice by defining “≤” point-wisely. Furthermore, the smallest element and the largest element in L E are denoted by ̲ and ¯ , respectively. The mapping g L : L E 1 L E 2 is induced by g : E 1 E 2 as follows:
A L E 1 , y E 2 , g L ( A ) ( y ) = g ( x ) = y A ( x ) .
g L : L E 2 L E 1 is induced by the mapping g as follows:
B L E 2 , x E 1 , g L ( B ) ( x ) = B ( g ( x ) )
.
Definition 3
([36]). Let E be an effect algebra and A L E . For any λ L , define
A [ λ ] = { x E A ( x ) λ } , A ( λ ) = { x E A ( x ) λ } ,
A ( λ ) = { x E λ β ( A ( x ) ) } , A [ λ ] = { x E λ α ( A ( x ) ) } .
The right adjoint → of the meet operation ∧ is a mapping from L × L to L defined as
λ μ = { δ L | λ δ μ } .
Some basic properties of the operation → are listed in the following [37,38].
(1)
λ μ = L λ μ ;
(2)
λ δ μ λ δ μ ;
(3)
λ δ μ λ μ δ and λ μ δ μ ;
(4)
λ i I μ i = i I ( λ μ i ) .
Let ̲ , ¯ L E represent ̲ ( x ) = L and ¯ ( x ) = L for all x E . Next, we recall ( L , M ) -fuzzy convexities in [27], which are more general fuzzy convexities. Let L and M be two completely distributive lattices. An ( L , M ) -fuzzy convexity on an effect algebra E is defined as follows:
Definition 4
([27]). A mapping C : L E M is called an ( L , M ) -fuzzy convexity if it satisfies the following conditions:
(LMC1)
C ( ̲ ) = C ( ¯ ) = M ;
(LMC2)
if { A i i I } L E is nonempty, then C i I A i i I C ( A i ) ;
(LMC3)
if { A i i I } L E is nonempty and directed, then C i I A i i I C ( A i ) .
In this case, the pair ( E , C ) is called an ( L , M ) -fuzzy convex space. An ( L , L ) -fuzzy convexity is briefly called an L-fuzzy convexity.
An ( L , 2 ) -fuzzy convexity is an L-convexity in [15]. An ( I , 2 ) -fuzzy convexity is a fuzzy convexity in [14], where I = [ 0 , 1 ] . A ( 2 , M ) -fuzzy convexity is an M-fuzzifying convexity in [22]. A ( 2 , 2 ) -fuzzy convexity is a convexity in [7].
Definition 5
([27]). Let ( E , C ) and ( F , D ) be two ( L , M ) -fuzzy convex spaces. If g : E F is a mapping between E and F, then
(i)
g : ( E , C ) ( F , D ) is called an ( L , M ) -fuzzy convexity preserving mapping provided that C ( g L ( A ) ) D ( A ) for all A L F .
(ii)
g : ( E , C ) ( F , D ) is called an ( L , M ) -fuzzy convex-to-convex mapping provided that D ( g L ( B ) ) C ( B ) for all B L E .
An ( L , L ) -fuzzy convexity preserving mapping and an ( L , L ) -fuzzy convex-to-convex mapping are briefly called an L-fuzzy convexity preserving mapping and an L-fuzzy convex-to-convex mapping, respectively.
An ( L , 2 ) -fuzzy convexity preserving mapping is an L-convexity preserving mapping in [15]. An ( L , 2 ) -fuzzy convex-to-convex mapping is an L-convex-to-convex mapping in [15].
Definition 6
([1]). Let { E i } i Λ be a family of effect algebras, define i Λ E i as:
i Λ E i = { x x : Λ i Λ E i s . t . i Λ , x i = x ( i ) E i } .
Define the operation on i Λ E i as: for x , y i Λ E i , x y iff x i y i for all i Λ . In this case, ( x y ) ( i ) = x i y i and x ( i ) = x i . Further, 0 i = 0 i , 1 i = 1 i where 0 i and 1 i are the minimal element and the maximal element of E i . Then ( i Λ E i , , 0 , 1 ) is called the direct product of effect algebras.
It is easy to check that ( i Λ E i , , 0 , 1 ) is an effect algebra.
Definition 7
([39]). Let { E i } i = 1 n be a family of effect algebras and A i be an L-subset of E i for all i Λ , then the L-subset i Λ A i of i Λ E i is defined by ( i Λ A i ) ( x ) = i Λ A i ( x i ) .

3. L -Fuzzy Subalgebra Degree on Effect Algebras

In this section, we introduce the concept of L-fuzzy subalgebra degree on effect algebras by means of the implication operator of L. We define an L-fuzzy subalgebra provided that its L-fuzzy subalgebra degree is equal to L . Moreover, we give some characterizations of L-subalgebra degree in terms of four kinds of cut sets of L-subsets.
Definition 8.
Let E be an effect algebra and A L E . Then the L-fuzzy subalgebra degree E ( A ) of A is defined as:
E ( A ) = x , y E , x y [ A ( x ) A ( 0 ) ] [ A ( x ) A ( x ) ] [ ( A ( x ) A ( y ) ) A ( x y ) ] .
Example 1.
Let E = { 0 , x , y , 1 } and be given by:
 ⊕  0  x  y  1 
 0  0  x  y  1    
 x  x  1  ∗  ∗    
 y  y  ∗  1  ∗    
 1  1  ∗  ∗  ∗    
Then ( E , , 0 , 1 ) is an effect algebra. Let L = [ 0 , 1 ] and define the L-subsets of E as follows:
(i)
A 1 ( 0 ) = 0.8 , A 1 ( x ) = 0.5 , A 1 ( y ) = 0.5 , A 1 ( 1 ) = 0.8 . By Definition 8, we can obtain E ( A 1 ) = 1 .
Indeed, since for any z E , A 1 ( z ) A 1 ( 0 ) , we have A 1 ( z ) A 1 ( 0 ) = 1 for all z E . We can easily know x = x , y = y , 0 = 1 and 1 = 0 , it follows from A 1 ( 0 ) = A 1 ( 1 ) that A 1 ( z ) = A 1 ( z ) , so A 1 ( z ) A 1 ( z ) = 1 for all z E . We can routinely prove ( A ( z ) A ( w ) ) A ( z w ) = 1 for all z , w E with z w . Therefore, E ( A 1 ) = 1 .
(ii)
A 2 ( 0 ) = 0.3 , A 2 ( x ) = 1 , A 2 ( y ) = 1 , A 2 ( 1 ) = 1 . By Definition 8, we can obtain E ( A 2 ) = 0.3 .
Indeed, since A 2 ( x ) A 2 ( 0 ) = A 2 ( 1 ) A 2 ( 0 ) = A 2 ( y ) A 2 ( 0 ) = 0.3 , we can easily obtain E ( A 2 ) = 0.3 .
(iii)
A 3 ( 0 ) = 0 , A 2 ( x ) = 0.5 , A 3 ( y ) = 1 , A 3 ( 1 ) = 0.6 . By Definition 8, we can obtain E ( A 3 ) = 0 .
Indeed, since A 3 ( y ) A 3 ( 0 ) = 1 0 = 0 , we have E ( A 3 ) = 0 .
From the properties (3) of the implication operator, the following lemma is obvious.
Lemma 1.
Let E be an effect algebra and A L E . Then E ( A ) λ ( λ L ) if and only if for any x , y E satisfying x y ,
A ( x ) A ( y ) λ A ( x y ) , A ( x ) λ A ( x ) a n d A ( x ) λ A ( 0 ) .
By Lemma 1, we can obtain the following theorem.
Theorem 1.
Let E be an effect algebra and A L E . Then
E ( A ) = { λ L x , y E s . t . x y , A ( x ) A ( y ) λ A ( x y ) , A ( x ) λ A ( x ) A ( 0 ) } .
We use four kinds of cut sets of L-subsets to characterize the L-fuzzy subalgebra degree in the following Theorem.
Theorem 2.
Let E be an effect algebra and A L E . Then
(i)
E ( A ) = { λ L μ λ , A [ μ ] = o r i t i s a s u b a l g e b r a o f E } .
(ii)
E ( A ) = { λ L μ P ( L ) , μ λ , A ( μ ) = o r i t i s a s u b a l g e b r a o f E } .
(iii)
E ( A ) = { λ L μ α ( λ ) , A [ μ ] = o r i t i s a s u b a l g e b r a o f E } .
(iv)
E ( A ) = { λ L μ P ( L ) , μ α ( λ ) , A [ μ ] = o r i t i s a s u b a l g e b r a o f E } .
(v)
E ( A ) = { λ L μ β ( λ ) , A ( μ ) = o r i t i s a s u b a l g e b r a o f E } if β ( λ μ ) = β ( λ ) β ( μ ) for all λ , μ L .
Proof. 
(i) For any x , y E satisfying x y , assume that λ L with the property of A ( x ) A ( y ) λ A ( x y ) and A ( x ) λ A ( x ) A ( 0 ) . For any μ λ , suppose A [ μ ] and let x , y A [ μ ] with x y , then
μ = μ λ A ( x ) A ( y ) λ A ( x y ) a n d μ = μ λ A ( x ) λ A ( x ) A ( 0 ) ,
which implies x y A [ μ ] and x , 0 A [ μ ] . Hence A [ μ ] is a subalgebra of E. This gives that
E ( A ) { λ L μ λ , A [ μ ] = o r i t i s a s u b a l g e b r a o f E } .
Conversely, assume λ L and for each μ λ , A [ μ ] = or it is a subalgebra of E. For any x , y E satisfying x y , let μ = A ( x ) A ( y ) λ and γ = A ( x ) λ , then μ λ and γ λ . It follows that x , y A [ μ ] and x A [ γ ] . Since A [ μ ] and A [ γ ] are subalgebras of E, we have x y A [ μ ] and x , 0 A [ γ ] , i.e., A ( x ) A ( y ) λ A ( x y ) and A ( x ) λ A ( x ) A ( 0 ) . So we have
E ( A ) { λ L μ λ , A [ μ ] = o r i t i s a s u b a l g e b r a o f E } .
(ii) For any x , y E satisfying x y , assume that λ L with the property of A ( x ) A ( y ) λ A ( x y ) and A ( x ) λ A ( x ) A ( 0 ) . For any μ P ( L ) with μ λ , suppose A ( μ ) and let x , y A ( μ ) with x y , i.e., A ( x ) μ and A ( y ) μ , then A ( x ) A ( y ) λ μ since μ is prime. By A ( x ) A ( y ) λ A ( x y ) and A ( x ) λ A ( x ) A ( 0 ) , it follows that A ( x y ) μ and A ( x ) A ( 0 ) μ , i.e., x y , x , 0 A ( μ ) . Hence A ( μ ) is a subalgebra of E. This shows that
E ( A ) { λ L μ P ( L ) , μ λ , A ( μ ) = o r i t i s a s u b a l g e b r a o f E } .
Conversely, assume that λ L and A ( μ ) = or it is a subalgebra of E for μ P ( L ) with μ λ . For any x , y E satisfying x y , let μ P ( L ) and A ( x ) A ( y ) λ μ , then x , y A ( μ ) and λ μ . Since A ( μ ) is a subalgebra of E, it holds that x y A ( μ ) , i.e., A ( x y ) μ . Hence A ( x ) A ( y ) λ A ( x y ) . Similarly, we can prove A ( x ) λ A ( x ) A ( 0 ) . This shows
E ( A ) { λ L μ P ( L ) , μ λ , A ( μ ) = o r i t i s a s u b a l g e b r a o f E } .
(iii) For any x , y E satisfying x y , assume that λ L with the property of A ( x ) A ( y ) λ A ( x y ) and A ( x ) λ A ( x ) A ( 0 ) . For any μ α ( λ ) , suppose A [ μ ] and let x , y A [ μ ] with x y , i.e., μ α ( A ( x ) ) and μ α ( A ( y ) ) , then by μ α ( λ ) , we have μ α ( A ( x ) ) α ( A ( y ) ) α ( λ ) . From
α ( A ( x ) ) α ( A ( y ) ) α ( λ ) = α ( A ( x ) A ( y ) λ ) a n d α ( A ( x ) ) α ( λ ) = α ( A ( x ) λ ) ,
we know μ α ( A ( x ) A ( y ) λ ) and μ α ( A ( x ) λ ) . By A ( x ) A ( y ) λ A ( x y ) and A ( x ) λ A ( x ) A ( 0 ) , we have μ α ( A ( x y ) ) , μ α ( A ( x ) ) and μ α ( A ( 0 ) ) , i.e., x y , x , 0 A [ μ ] . Hence A [ μ ] is a subalgebra of E. This shows
E ( A ) { λ L μ α ( λ ) , A [ μ ] = o r i t i s a s u b a l g e b r a o f E } .
Conversely, assume that λ L and A [ μ ] = or it is a subalgebra of E for μ α ( λ ) . Now we prove A ( x ) A ( y ) λ A ( x y ) and A ( x ) λ A ( x ) A ( 0 ) for all x , y E satisfying x y . Let μ L and μ α ( A ( x ) A ( y ) λ ) , then μ α ( A ( x ) ) α ( A ( y ) ) α ( λ ) . Thus x , y A [ μ ] and μ α ( λ ) . Since A [ μ ] is a subalgebra of E, it holds that x y A [ μ ] , i.e., μ α ( A ( x y ) ) . This means α ( A ( x ) A ( y ) λ ) α ( A ( x y ) ) . Hence
A ( x ) A ( y ) λ = α ( A ( x ) A ( y ) λ ) α ( A ( x y ) ) = A ( x y ) .
Similarly, we can prove A ( x ) λ A ( x ) A ( 0 ) . This shows
E ( A ) { λ L μ α ( λ ) , A [ μ ] = o r i t i s a s u b a l g e b r a o f E } .
(iv) By (iii) we first obtain
E ( A ) { λ L μ P ( L ) , μ α ( λ ) , A [ μ ] = o r i t i s a s u b a l g e b r a o f E } .
Conversely, assume that λ L and A [ μ ] = or it is a subalgebra of E for all μ P ( L ) satisfying μ α ( λ ) . Now we prove A ( x ) A ( y ) λ A ( x y ) and A ( x ) λ A ( x ) A ( 0 ) for all x , y E satisfying x y . Let μ P ( L ) and μ α * ( A ( x ) A ( y ) λ ) . It follows that
μ α ( A ( x ) A ( y ) λ ) = α ( A ( x ) ) α ( A ( y ) ) α ( λ ) .
Thus x , y A [ μ ] and μ α ( λ ) . Since A [ μ ] is a subalgebra of E, it holds that x y A [ μ ] , i.e., μ α ( A ( x y ) ) . So μ α * ( A ( x y ) ) , this means α * ( A ( x ) A ( y ) λ ) α * ( A ( x y ) ) . Hence
A ( x ) A ( y ) λ = α * ( A ( x ) A ( y ) λ ) α * ( A ( x y ) ) = A ( x y ) .
Similarly, we can prove A ( x ) λ A ( x ) A ( 0 ) . This shows
E ( A ) { λ L μ P ( L ) , μ α ( λ ) , A [ μ ] = o r i t i s a s u b a l g e b r a o f E } .
(v) For any x , y E satisfying x y , assume that L λ L with the property of A ( x ) A ( y ) λ A ( x y ) and A ( x ) λ A ( x ) A ( 0 ) . For any μ β ( λ ) , suppose A ( μ ) and let x , y A ( μ ) with x y , i.e., μ β ( A ( x ) ) and μ β ( A ( y ) ) . Then by μ β ( λ ) , we have μ β ( A ( x ) ) β ( A ( y ) ) β ( λ ) . From
β ( A ( x ) ) β ( A ( y ) ) β ( λ ) = β ( A ( x ) A ( y ) λ ) a n d β ( A ( x ) ) β ( λ ) = β ( A ( x ) λ ) ,
we know μ β ( A ( x ) A ( y ) λ ) and μ β ( A ( x ) λ ) . By A ( x ) A ( y ) λ A ( x y ) and A ( x ) λ A ( x ) A ( 0 ) , we have μ β ( A ( x y ) ) , μ β ( A ( x ) ) and μ β ( A ( 0 ) ) , i.e., x y , x , 0 A ( μ ) . Hence A ( μ ) is a subalgebra of E. This shows
E ( A ) { λ L μ β ( λ ) , A ( μ ) = o r i t i s a s u b a l g e b r a o f E } .
Conversely, assume that λ L and A ( μ ) = or it is a subalgebra of E for μ β ( λ ) . Now we prove A ( x ) A ( y ) λ A ( x y ) and A ( x ) λ A ( x ) A ( 0 ) for all x , y E satisfying x y . The statement holds obviously when A ( x ) A ( y ) λ = L . Assume A ( x ) A ( y ) λ L , it implies A ( x ) L , A ( y ) L and λ L . Take μ L with μ β ( A ( x ) A ( y ) λ ) , then μ β ( A ( x ) ) β ( A ( y ) ) β ( λ ) . Thus x , y A ( μ ) and μ β ( λ ) . Since A ( μ ) is a subalgebra of E, it holds that x y A ( μ ) , i.e., μ β ( A ( x y ) ) . This means β ( A ( x ) A ( y ) λ ) β ( A ( x y ) ) . Hence
A ( x ) A ( y ) λ = β ( A ( x ) A ( y ) λ ) β ( A ( x y ) ) = A ( x y ) .
Similarly, we can prove A ( x ) λ A ( x ) A ( 0 ) . This shows
E ( A ) { λ L μ β ( λ ) , A ( μ ) = o r i t i s a s u b a l g e b r a o f E } .
This completes the proof. □
Definition 9.
Let E be an effect algebra and A L E . Then A is called an L-subalgebra provided that E ( A ) = L . In particular, we say an L-subalgebra is a fuzzy subalgebra when L = [ 0 , 1 ] .
Example 2.
In Example 1, it follows from Definition 9 that A 1 is a fuzzy subalgebra, but A 2 and A 3 are not fuzzy subalgebras; A 2 is a fuzzy subalgebra in the degree of 0.3.
From Definition 9 and Lemma 1, the following proposition is obvious.
Proposition 1.
Let E be an effect algebra and A L E . Then A is an L-subalgebra if and only if for any x , y E with x y ,
A ( 0 ) A ( x ) , A ( x ) A ( x ) a n d A ( x y ) A ( x ) A ( y ) .
Corollary 1.
Let A be an L-subalgebra of an effect algebra E. Then
(i)
for each x E , A ( 1 ) A ( x ) ;
(ii)
for each x E , A ( x ) = A ( x ) ;
(iii)
A ( 1 ) = A ( 0 ) .
Proof. 
(i) Since x x and A is an L-subalgebra of E, we have
A ( 1 ) = A ( x x ) A ( x ) A ( x ) = A ( x ) .
(ii) By Proposition 1 we first obtain A ( x ) A ( x ) . On the other hand, by Definition 1 (E3), we know x = x and thus A ( x ) = A ( x ) A ( x ) .
(iii) By (i) we know A ( 1 ) A ( 0 ) . By Proposition 1, we have A ( 1 ) A ( 0 ) , so A ( 1 ) = A ( 0 ) . □
By Definition 9 and Theorem 2, we can obtain the following two results
Corollary 2.
Let A be an L-subset of an effect algebra E. Then the following conditions are equivalent:
(i)
A is an L-subalgebra;
(ii)
for each λ J ( L ) , A [ λ ] = or it is a subalgebra of E;
(iii)
for each λ L , A [ λ ] = or it is a subalgebra of E;
(iv)
for each λ L , A [ λ ] = or it is a subalgebra of E;
(v)
for each λ P ( L ) , A [ λ ] = or it is a subalgebra of E;
(vi)
for each λ P ( L ) , A ( λ ) = or it is a subalgebra of E.
Corollary 3.
Let A be an L-subset of an effect algebra E. If β ( λ μ ) = β ( λ ) β ( μ ) for all λ , μ L , then the following conditions are equivalent:
(i)
A is an L-subalgebra;
(ii)
for each λ L , A ( λ ) = or it is a subalgebra of E;
(iii)
for each λ J ( L ) , A ( λ ) = or it is a subalgebra of E.
Let E be an effect algebras and ( 2 E ) L represents the set of all mapping H : L 2 E . Then we have the following definitions.
Definition 10
([36]). Let H ( 2 E ) L .
(i)
If μ β ( λ ) implies H ( λ ) H ( μ ) , then H is called an L β -nest of E.
(ii)
If μ α ( λ ) implies H ( μ ) H ( λ ) , then H is called an L α -nest of E.
By Theorem 2.3 in [36], we can prove the following two theorems.
Theorem 3.
Let L be completely distributive and let { A ( λ ) λ L } ) ( A ( λ ) ) be an L α -nest of subalgebras on an effect algebra E. Then there exists an L-subalgebra B such that
(i)
B ( λ ) A ( λ ) B [ λ ] for all λ L ;
(ii)
B ( λ ) = μ α ( λ ) A ( μ ) for all λ P ( L ) ;
(iii)
B [ μ ] = μ α ( λ ) A ( λ ) for all μ P ( L ) .
Theorem 4.
Let L be completely distributive and let { A ( λ ) λ L } ( A ( λ ) ) be an L β -nest of subalgebras on an effect algebra E. Then there exists an L-subalgebra B such that
(i)
B ( λ ) A ( λ ) B [ λ ] for all λ L ;
(ii)
B ( λ ) = λ β ( μ ) A ( μ ) for all λ L ;
(iii)
B [ μ ] = λ β ( μ ) A ( λ ) for all μ L .
In particular, when L = [ 0 , 1 ] , we have the following result.
Corollary 4.
Let { A ( λ ) λ ( 0 , 1 ] } ( A ( λ ) ) be a family of subalgebras on an effect algebra E. If λ < μ A ( μ ) A ( λ ) , then there exists a fuzzy subalgebra B satisfying
(i)
B ( λ ) A ( λ ) B [ λ ] ;
(ii)
B ( λ ) = λ < μ A ( μ ) for all λ ( 0 , 1 ] ;
(iii)
B [ μ ] = λ < μ A ( λ ) for all μ ( 0 , 1 ] .

4. L -Fuzzy Convexity on Effect Algebras

In this section, we study the relationship between the L-fuzzy subalgebra degree and L-fuzzy convexity on an effect algebra. Further, 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, we prove that the set of all L-subalgebras on an effect algebra is an L-convexity. For instance, we give its L-convex hull formula.
For each A L E , E can be naturally considered as a mapping E : L E L defined by A E ( A ) . The following theorem will show that E is an L-fuzzy convexity on an effect algebra E.
Theorem 5.
Let E be an effect algebra. Then E : L E L is an L-fuzzy convexity on E.
Proof. 
(LMC1). It is clear that E ( ̲ ) = E ( ¯ ) = L by Definition 8.
(LMC2). Let { A i } i I L E be nonempty. Now we show E ( i I A i ) i I E ( A i ) . Let λ L with λ i I E ( A i ) . Then for any i I , we have λ E ( A i ) , which implies A i ( x ) A i ( y ) λ A i ( x y ) and A i ( x ) λ A i ( x ) A i ( 0 ) for all x , y E satisfying x y . It follows that
i I A i ( x ) i I A i ( y ) λ i I A i ( x y ) ,
i I A i ( x ) λ i I A i ( x ) i I A i ( 0 ) .
This gives that λ E ( i I A i ) . Hence E ( i I A i ) i I E ( A i ) .
(LMC3) Let { A i } i I L E be nonempty and directed. Now, we show E ( i I A i ) i I E ( A i ) . Let λ L with λ i I E ( A i ) . Then for any i I , λ E ( A i ) implies A i ( x ) A i ( y ) λ A i ( x y ) and A i ( x ) λ A i ( x ) A i ( 0 ) for all x , y E satisfying x y . Now, we prove
i I A i ( x ) i I A i ( y ) λ i I A i ( x y ) .
Take μ L with
μ i I A i ( x ) i I A i ( y ) λ ,
then there exists i , j I such that μ A i ( x ) , μ A j ( y ) and μ λ . Since { A i } i I is directed, there exists i 0 I such that A i A i 0 and A j A i 0 , we thus have μ A i 0 ( x ) A i 0 ( y ) λ . By the fact that A i 0 ( x ) A i 0 ( y ) λ A i 0 ( x y ) , so μ A i 0 ( x y ) i I A i ( x y ) . Hence
i I A i ( x ) i I A i ( y ) λ i I A i ( x y ) .
Similarly, we can prove
i I A i ( x ) λ i I A i ( x ) i I A i ( 0 ) .
Hence λ E ( i I A i ) , it implies E ( i I A i ) i I E ( A i ) .
Therefore, E : L E L is an L-fuzzy convexity. □
In order to investigate L-fuzzy convexity preserving mappings and L-fuzzy convex-to-convex mappings, we first give following definition and lemma.
Definition 11
([40]). Let E and F be effect algebras and g: E F is called
(i)
a morphism if g ( 1 E ) = 1 F , and x y , x , y E implies g ( x ) g ( y ) in F, and g ( x y ) = g ( x ) g ( y ) ;
(ii)
a monomorphism if g is a morphism and g ( x ) g ( y ) iff x y .
Lemma 2.
Let E and F be effect algebras and g: E F is a morphism. Then g ( 0 E ) = 0 F and g ( x ) = g ( x ) for all x E
Proof. 
Since g ( 0 E 1 E ) = g ( 0 E ) g ( 1 E ) = g ( 0 E ) 1 F by Definition 11, it follows from Definition 1 (E3) that g ( 0 E ) = 0 F . Since x x for any x E , we have g ( 1 E ) = g ( x x ) = g ( x ) g ( x ) , thus g ( x ) = g ( x ) . □
Theorem 6.
Let g : E F be a morphism between two effect algebras E and F. Then
(i)
g: ( E , E E ) ( F , E F ) is L-fuzzy convexity preserving.
(ii)
If g : E F is a monomorphism, then g: ( E , E E ) ( F , E F ) is L-fuzzy convex-to-convex.
Proof. 
(i) In order to prove g: ( E , E E ) ( M , E F ) is L-fuzzy convexity preserving, we just need to prove for any A L F , E E ( g L ( A ) ) E F ( A ) .
Let λ L with λ E F ( A ) . Then by Lemma 1 we obtain A ( x ) A ( y ) λ A ( x y ) and A ( x ) λ A ( x ) A ( 0 ) for all x , y F satisfying x y . So for any a , b E with a b ,
λ g L ( A ) ( a ) g L ( A ) ( b ) = λ A ( g ( a ) ) A ( g ( b ) ) A ( g ( a ) g ( b ) ) = A ( g ( a b ) ) = g L ( A ) ( a b ) .
Similarly, we can obtain λ g L ( A ) ( a ) g L ( A ) ( a ) and λ g L ( A ) ( a ) g L ( A ) ( 0 E ) , which implies λ E E ( g L ( A ) ) . Hence E E ( g L ( A ) ) E F ( A ) .
(ii) In order to prove g: ( E , E E ) ( F , E F ) is L-fuzzy convex-to-convex, we just need to prove for any A L E , E E ( A ) E F ( g L ( A ) ) .
Let λ L with λ E E ( A ) , then A ( a ) A ( b ) λ A ( a b ) and A ( a ) λ A ( a ) A ( 0 ) for all a , b E satisfying a b . It follows that for x , y F satisfying x y ,
( g L ( A ) ) ( x ) ( g L ( A ) ) ( y ) λ = λ g ( a ) = x A ( a ) g ( b ) = y A ( b ) = { λ A ( a ) A ( b ) g ( a ) = x , g ( b ) = y } { A ( a b ) g ( a ) = x , g ( b ) = y } { A ( a b ) g ( a b ) = x y } { A ( c ) g ( c ) = x y } = ( g L ( A ) ) ( x y ) .
Similarly, we can prove ( g L ( A ) ) ( x ) λ ( g L ( A ) ) ( x ) ( g L ( A ) ) ( 0 ) . This gives that λ E F ( g L ( A ) ) . Hence E E ( A ) E F ( g L ( A ) ) . Therefore, g : ( E , E E ) ( F , E F ) is L-fuzzy convex-to-convex. □
Corollary 5.
Let { E i } i Λ be a family of effect algebras and i Λ A i be the direct product of { A i } i Λ , where A i L E i . If p i : i Λ E i E i is the projection, then p i : ( i Λ E i , E i Λ E i ) ( E i , E E i ) is L-fuzzy convexity preserving for all i Λ .
Proof. 
It is easy to check that p i : i Λ E i E i is a morphism between effects algebras, so by Theorem 6, we know p i is L-fuzzy convexity preserving for all i Λ . □
Theorem 7.
Let { E i } i Λ be a family of effect algebras and i Λ A i be the direct product of { A i } i Λ , where A i L E i . Then E i Λ E i i Λ A i i Λ E E i ( A i ) .
Proof. 
Let p i : i Λ E i E i be the projection. It can be easily proved that i Λ A i = i Λ p i ( A i ) . So by the proof of (LMC2) in Theorem 8, we have
E i Λ E i i Λ A i = E i Λ E i i Λ p i ( A i ) i Λ E i Λ E i ( p i ( A i ) ) i Λ E E i ( A i ) .
The last inequality holds because p i is L-fuzzy convexity preserving by Corollary 4. □
From paper [27], we know ( E , E λ ) is an L-convex space for all λ L L . In particular, ( E , E L ) is an L-convex space. We should note that E L = { A L E E ( A ) = L } , by Definition 9, we obtain that E L is the set of all L-subalgebras on an effect algebra E.
The L-convex hull operator with respect to the L-convex space ( E , E L ) is as follows: for A L E , c o ( A ) = { B L E A B E L } [17], i.e., c o ( A ) is the least L-subalgebra containing A. In the following, we will give the corresponding L-convex hull formula.
Theorem 8.
Let A be an L-subset of an effect algebra E. Define for any x E ,
σ 0 = A , σ 1 ( x ) = x = x 1 x 2 [ A ( x 1 ) A ( x 1 ) ] [ A ( x 2 ) A ( x 2 ) ] A ( x ) ,
w h e n n 2 , σ n ( x ) = x = x 1 x 2 [ σ n 1 ( x 1 ) σ n 1 ( x 1 ) ] [ σ n 1 ( x 2 ) σ n 1 ( x 2 ) ] .
Then c o ( A ) = n = 0 σ n .
Proof. 
We first show n = 0 σ n is an L-subalgebra of E. To achieve this, we give the following statements.
(i). For any x E and n 1 , σ n ( 1 ) σ n ( x ) .
Let n = 1 . For any x E , it follows from x x = 1 that
σ 1 ( 1 ) A ( x ) A ( x ) A ( x ) = σ 0 ( x ) .
Let n 2 . For any x E , since x x = 1 , we have that for each x E .
σ n ( 1 ) = 1 = y z [ σ n 1 ( y ) σ n 1 ( y ) ] [ σ n 1 ( z ) σ n 1 ( z ) ] [ σ n 1 ( x ) σ n 1 ( x ) ] [ σ n 1 ( x ) σ n 1 ( x ) ] = σ n 1 ( x ) σ n 1 ( x ) .
Since for any x E ,
σ n ( x ) = x = x 1 x 2 [ σ n 1 ( x 1 ) σ n 1 ( x 1 ) ] [ σ n 1 ( x 2 ) σ n 1 ( x 2 ) ] ,
then for every pair ( x 1 , x 2 ) satisfying x = x 1 x 2 , it holds that σ n 1 ( x 1 ) σ n 1 ( x 1 ) σ n ( 1 ) and σ n 1 ( x 2 ) σ n 1 ( x 2 ) σ n ( 1 ) , we thus obtain σ n ( x ) σ n ( 1 ) .
(ii). n = 0 σ n ( x ) n = 0 σ n ( 1 ) .
Since σ 0 = A and 1 = 1 0 , we have σ 1 ( 1 ) A ( 1 ) A ( 0 ) A ( 1 ) . By the above proof, we obtain σ 1 ( 1 ) A ( x ) A ( x ) A ( x ) . This implies
n = 0 σ n ( x ) = A ( x ) n = 1 σ n ( x ) σ 1 ( 1 ) n = 1 σ n ( 1 ) n = 0 σ n ( 1 ) .
(iii). σ 0 ( x ) σ 1 ( x ) σ 2 ( x ) · · ·
For any x E , from the construction of σ 1 ( x ) , it is clear that σ 1 ( x ) A ( x ) = σ 0 ( x ) .
Let n 2 . For any x E , by the fact that x = x 0 and (i), we have
σ n ( x ) = x = x 1 x 2 [ σ n 1 ( x 1 ) σ n 1 ( x 1 ) ] [ σ n 1 ( x 2 ) σ n 1 ( x 2 ) ] [ σ n 1 ( x ) σ n 1 ( x ) ] [ σ n 1 ( 0 ) σ n 1 ( 1 ) ] σ n 1 ( x ) .
(iv). n = 0 σ n ( x ) n = 0 σ n ( x ) .
For any x E and n 2 , since x = x 0 , we have
σ n ( x ) [ σ n 1 ( x ) σ n 1 ( x ) ] [ σ n 1 ( 0 ) σ n 1 ( 1 ) ] .
By (i) we know that σ n 1 ( x ) , σ n 1 ( x ) σ n 1 ( 1 ) , it follows that σ n ( x ) σ n 1 ( x ) . Thus n = 1 σ n ( x ) n = 2 σ n ( x ) . By (iii) we obtain
n = 0 σ n ( x ) = n = 1 σ n ( x ) n = 2 σ n ( x ) = n = 0 σ n ( x ) .
(v). For x , y E and x y ,
n = 0 σ n ( x y ) n = 0 σ n ( x ) n = 0 σ n ( y ) .
Let t L such that t n = 0 σ n ( x ) n = 0 σ n ( y ) , then we have t n = 0 σ n ( x ) and t n = 0 σ n ( y ) . So there exist i , k 0 such that t σ i ( x ) and t σ j ( y ) . Put j = max { i , k } , then by (iii) we obtain t σ j ( x ) and t σ j ( y ) . It results that
t σ j ( x ) σ j ( y ) [ σ j ( x ) σ j ( x ) ] [ σ j ( y ) σ j ( y ) ] σ j + 1 ( x y ) n = 0 σ n ( x y ) .
Hence n = 0 σ n ( x y ) n = 0 σ n ( x ) n = 0 σ n ( y ) .
(vi). n = 0 σ n ( x ) n = 0 σ n ( 0 ) .
By (ii) and (iv), we have,
n = 0 σ n ( 0 ) = n = 0 σ n ( 1 ) n = 0 σ n ( 1 ) n = 0 σ n ( x ) .
Therefore, by (iii), (iv), (v), (vi) and Proposition 1, we can obtain that n = 0 σ n is an L-subalgebra containing A. Next, we prove n = 0 σ n is the least L-subalgebra containing A.
Assume B L E is an L-subalgebra containing A, so A ( x ) B ( x ) for all x E . It is clear that σ 0 B . Since
σ 1 ( x ) = x = x 1 x 2 [ A ( x 1 ) A ( x 1 ) ] [ A ( x 2 ) A ( x 2 ) ] A ( x ) x = x 1 x 2 [ B ( x 1 ) B ( x 1 ) ] [ B ( x 2 ) B ( x 2 ) ] B ( x ) = x = x 1 x 2 B ( x 1 ) B ( x 2 ) B ( x ) ( by   Corrollary   1   and   B   is   an   L - subalgebra ) x = x 1 x 2 B ( x 1 x 2 ) B ( x ) = B ( x ) B ( x ) = B ( x ) .
Assume σ k B ( k 2 ) holds. Now,
σ k + 1 ( x ) = x = x 1 x 2 [ σ k ( x 1 ) σ k ( x 1 ) ] [ σ k ( x 2 ) σ k ( x 2 ) ] x = x 1 x 2 [ B ( x 1 ) B ( x 1 ) ] [ B ( x 2 ) B ( x 2 ) ] = x = x 1 x 2 B ( x 1 ) B ( x 2 ) x = x 1 x 2 B ( x 1 x 2 ) = B ( x ) .
Thus for any n 0 , it holds that σ n B , which implies n = 0 σ n B . This implies n = 0 σ n is the least L-subalgebra containing A. Therefore, c o ( A ) = n = 0 σ n .

5. Conclusions

In this paper, we proposed the notion of L-fuzzy subalgebra degree on an effect algebra based on a completely distributive lattice L. We gave their characterizations in terms of four kinds of cut sets of L-subsets. We say an L-subset is an L-subalgebra if its L-fuzzy subalgebra degree is equal to L . In fact, the L-fuzzy subalgebra degree can describe the degree to which an L-subset is an L-fuzzy subalgebra. An L-fuzzy convex structure on an effect algebra was naturally constructed and some of its properties were studied. For instance, an L-convex structure was induced by the set of all L-subalgebras and its L-convex hull formula was given.
It should be noted that the same thought can be applied to different algebraic structure such as M V -algebras, B L -algebras, residuated lattices and so on. Thus, there exist L-fuzzy convexities in many logical algebras, which enrich the convexity theory in logical algebras.

Author Contributions

Conceptualization, Y.-Y.D.; formal analysis, Y.-Y.D. and F.-G.S.; funding acquisition, F.-G.S.; investigation, Y.-Y.D. and F.-G.S.; methodology, Y.-Y.D. and F.-G.S.; project administration, Y.-Y.D. and F.-G.S.; supervision, F.-G.S.; validation, Y.-Y.D. and F.-G.S.; visualization, F.-G.S.; writing—original draft, Y.-Y.D.; writing—review and editing, Y.-Y.D. and F.-G.S. Both authors have read and agreed to the published version of the manuscript.

Funding

The project is funded by the National Natural Science Foundation of China (11871097, 12071033), Beijing Institute of Technology Science and Technology Innovation Plan Cultivation Project (No. 2021CX01030) and Chinese Postdoctoral Science Foundation (No. 2020M670142).

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Acknowledgments

The authors express thanks to the handling Editor and the reviewers for their careful reading and useful suggestions.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Foulis, D.J.; Bennett, M.K. Effect algebras and unsharp quantum logics. Found. Phys. 1994, 24, 1331–1352. [Google Scholar] [CrossRef]
  2. Zadeh, L.A. Fuzzy sets. Inf. Control 1965, 8, 338–353. [Google Scholar] [CrossRef] [Green Version]
  3. Ma, Z. Note on ideals of effect algebras. Inf. Sci. 2009, 179, 505–507. [Google Scholar] [CrossRef]
  4. Jenča, G.; Pulmannová, S. Ideals and quotients in lattice ordered effect algebras. Soft Comput. 2001, 5, 376–380. [Google Scholar] [CrossRef]
  5. Foulis, D.J.; Greechie, R.J.; Rüttimann, G.T. Filters and supports in orthoalgebras. Int. J. Theor. Phys. 1992, 31, 789–807. [Google Scholar] [CrossRef]
  6. Liu, D.L.; Wang, G.J. Fuzzy filters in effect algebras. Fuzzy Syst. Math. 2009, 23, 6–16. [Google Scholar]
  7. Berger, M. Convexity. Am. Math. Mon. 1990, 97, 650–678. [Google Scholar] [CrossRef]
  8. Van de Vel, M. Theory of Convex Structures; Elsevier: Amesterdam, The Netherlands, 1993. [Google Scholar]
  9. Fan, C.Z.; Shi, F.-G.; Mehmood, F. M-Hazy Γ-Semigroups. J. Nonlinear Convex Anal. 2020, 21, 2659–2669. [Google Scholar]
  10. Mehmood, F.; Shi, F.-G.; Hayat, K.; Yang, X.P. The homomorphism theorems of M-Hazy rings and their induced fuzzifying convexities. Mathematics 2020, 8, 411. [Google Scholar] [CrossRef] [Green Version]
  11. Mehmood, F.; Shi, F.-G.; Hayat, K. A new approach to the fuzzification of rings. J. Nonlinear Convex Anal. 2020, 21, 2637–2646. [Google Scholar]
  12. Changat, M.; Mulder, H.M.G.; Sierksma, G. Convexities related to path properties on graphs. Discrete Math. 2005, 290, 117–131. [Google Scholar] [CrossRef] [Green Version]
  13. Pang, B. Categorical properties of L-fuzzifying convergence spaces. Filomat 2018, 32, 4021–4036. [Google Scholar] [CrossRef]
  14. Rosa, M.V. On fuzzy topology fuzzy convexity spaces and fuzzy local convexity. Fuzzy Sets Syst. 1994, 62, 97–100. [Google Scholar] [CrossRef]
  15. Maruyama, Y. Lattice-valued fuzzy convex geometry. RIMS Kokyuroku 2009, 164, 22–37. [Google Scholar]
  16. Dong, Y.Y.; Li, J. Fuzzy convex structure and prime fuzzy ideal space on residuated lattices. J. Nonlinear Convex Anal. 2020, 21, 2725–2735. [Google Scholar]
  17. Shen, C.; Shi, F.-G. Characterizations of L-convex spaces via domain theory. Fuzzy Sets Syst. 2020, 380, 44–63. [Google Scholar] [CrossRef]
  18. Wei, X.W.; Wang, B. Fuzzy (restricted) hull operators and fuzzy convex structures on L-sets. J. Nonlinear Convex Anal. 2020, 21, 2805–2815. [Google Scholar]
  19. Li, H.Y.; Wang, K. L-ordered neighborhood systems of stratified L-concave structures. J. Nonlinear Convex Anal. 2020, 21, 2783–2793. [Google Scholar]
  20. Zhang, L.; Pang, B. Strong L-concave structures and L-convergence structures. J. Nonlinear Convex Anal. 2020, 21, 2759–2769. [Google Scholar]
  21. Xiu, Z.-Y. Convergence structures in L-concave spaces. J. Nonlinear Convex Anal. 2020, 21, 2693–2703. [Google Scholar]
  22. Shi, F.-G.; Xiu, Z.-Y. A new approach to the fuzzification of convex structures. J. Appl. Math. 2014, 2014, 1–12. [Google Scholar] [CrossRef] [Green Version]
  23. Pang, B. Convergence structures in M-fuzzifying convex spaces. Quaest. Math. 2020, 43, 1541–1561. [Google Scholar] [CrossRef]
  24. Pang, B. L-fuzzifing convex structures as L-convex structures. J. Nonlinear Convex Anal. 2020, 21, 2831–2841. [Google Scholar]
  25. Xiu, Z.-Y.; Pang, B. Base axioms and subbase axioms in M-fuzzifying convex spaces. Iran. J. Fuzzy Syst. 2018, 15, 75–87. [Google Scholar]
  26. Zhou, X.-W.; Wang, L. Four kinds of special mappings between M-fuzzifying convex spaces. J. Nonlinear Convex Anal. 2020, 21, 2683–2692. [Google Scholar]
  27. Shi, F.-G.; Xiu, Z.-Y. (L,M)-fuzzy convex structures. J. Nonlinear Sci. Appl. 2017, 10, 3655–3669. [Google Scholar] [CrossRef] [Green Version]
  28. Li, L.Q. On the category of enriched (L,M)-convex spaces. J. Intell. Fuzzy Syst. 2017, 33, 3209–3216. [Google Scholar] [CrossRef]
  29. Li, J.; Shi, F.-G. L-fuzzy convex induced by L-convex fuzzy sublattice degree. Iran. J. Fuzzy Syst. 2017, 14, 83–102. [Google Scholar]
  30. Pang, B. Bases and subbases in (L,M)-fuzzy convex spaces. Comput. Appl. Math. 2020, 39. [Google Scholar] [CrossRef]
  31. Pang, B. Hull operators and interval operators in (L,M)-fuzzy convex spaces. Fuzzy Sets Syst. 2021, 405, 106–127. [Google Scholar] [CrossRef]
  32. Xiu, Z.-Y.; Li, L.; Zhu, Y. A degree approach to special mappings between (L,M)-fuzzy convex spaces. J. Nonlinear Convex Anal. 2020, 21, 2625–2635. [Google Scholar]
  33. Dvurečenskij, A.; Pulmannová, S. New Trends in Quantum Structures; Kluwer: Dordrecht, The Netherlands, 2000. [Google Scholar]
  34. Wang, G.J. Theory of topological molecular lattices. Fuzzy Sets Syst. 1992, 47, 351–376. [Google Scholar]
  35. Shi, F.-G. A new approach to the fuzzification of matroids. Fuzzy Sets Syst. 2009, 160, 696–705. [Google Scholar] [CrossRef]
  36. Shi, F.-G. Theory of Lβ-nested sets and Lα-nested sets and application. Fuzzy Syst. Math. 1995, 4, 65–72. [Google Scholar]
  37. War, M.; Dilworth, R.P. Residuated lattices. Trans. Am. Math. Soc. 1939, 45, 335–354. [Google Scholar]
  38. Galatos, N.; Jipsen, P.; Kowalski, T.; Ono, H. Residuated Lattices: An Algebraic Glimpse at Substructural Logics; Elsevier: Amsterdam, The Netherlands, 2007. [Google Scholar]
  39. Shi, F.-G.; Xin, X. L-fuzzy subgroup degrees and L-fuzzy normal subgroup degrees. J. Adv. Res. Pure Math. 2011, 3, 92–108. [Google Scholar]
  40. Jenča, G.; Pulmannová, S. Effect algebras with state operator. Fuzzy Sets Syst. 2015, 260, 43–61. [Google Scholar] [CrossRef] [Green Version]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Dong, Y.-Y.; Shi, F.-G. L-Fuzzy Sub-Effect Algebras. Mathematics 2021, 9, 1596. https://doi.org/10.3390/math9141596

AMA Style

Dong Y-Y, Shi F-G. L-Fuzzy Sub-Effect Algebras. Mathematics. 2021; 9(14):1596. https://doi.org/10.3390/math9141596

Chicago/Turabian Style

Dong, Yan-Yan, and Fu-Gui Shi. 2021. "L-Fuzzy Sub-Effect Algebras" Mathematics 9, no. 14: 1596. https://doi.org/10.3390/math9141596

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop