Next Article in Journal
Stability Analysis of Fractional-Order Predator-Prey System with Consuming Food Resource
Next Article in Special Issue
Fuzzy Algebras of Concepts
Previous Article in Journal
A Note on an Epidemic Model with Cautionary Response in the Presence of Asymptomatic Individuals
Previous Article in Special Issue
The Single Axiomatization on CCRL-Fuzzy Rough Approximation Operators and Related Fuzzy Topology
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Partial Residuated Implications Induced by Partial Triangular Norms and Partial Residuated Lattices

1
School of Mathematics and Data Science, Shaanxi University of Science & Technology, Xi’an 710021, China
2
Department of Mathematics, Faculty at Mathematical Sciences, Shahid Beheshti University, Tehran 1983963113, Iran
*
Author to whom correspondence should be addressed.
Axioms 2023, 12(1), 63; https://doi.org/10.3390/axioms12010063
Submission received: 21 November 2022 / Revised: 25 December 2022 / Accepted: 28 December 2022 / Published: 6 January 2023
(This article belongs to the Special Issue Non-classical Logics and Related Algebra Systems)

Abstract

:
This paper reveals some relations between fuzzy logic and quantum logic on partial residuated implications (PRIs) induced by partial t-norms as well as proposes partial residuated monoids (PRMs) and partial residuated lattices (PRLs) by defining partial adjoint pairs. First of all, we introduce the connection between lattice effect algebra and partial t-norms according to the concept of partial t-norms given by Borzooei, together with the proof that partial operation in any commutative quasiresiduated lattice is partial t-norm. Then, we offer the general form of PRI and the definition of partial fuzzy implication (PFI), give the condition that partial residuated implication is a fuzzy implication, and prove that each PRI is a PFI. Next, we propose PRLs, study their basic characteristics, discuss the correspondence between PRLs and lattice effect algebras (LEAs), and point out the relationship between LEAs and residuated partial algebras. In addition, like the definition of partial t-norms, we provide the notions of partial triangular conorms (partial t-conorms) and corresponding partial co-residuated lattices (PcRLs). Lastly, based on partial residuated lattices, we define well partial residuated lattices (wPRLs), study the filter of well partial residuated lattices, and then construct quotient structure of PRMs.

1. Introduction

In 1965, Zadeh first proposed fuzzy sets in [1], and then gradually established fuzzy logic. In fuzzy logic, the research on t-norm and t-conorm emerges in an endless stream. T-norm and t-conorm, as traditional binary operations, are introduced in the study of probabilistic metric space (see [2,3]). However, there may be some “undefined” cases in the practical application of fuzzy logic. In this regard, some scholars explored in [4,5,6,7] from the perspective of partial membership functions and fuzzy partial logic (logical connectors are partial operations). For example, Běhounek et al. considered the fuzzy partial logic in [4] and defined binary primitive conjunctions by Table 1 and Table 2, and using the special value “*” to explain semantics such as “undefined”, “meaningless”, “non-applicable”, etc.:
In [8,9], Burmeister et al. dealt with the “undefined” situation from the viewpoint of the aggregate function and partial algebra, respectively. In 1994, Foulis et al. put forward the effect algebra that can describe imprecise quantum phenomena in [10]. Therefore, partial operations offer an important research direction in fuzzy logic and quantum logic. Borzooei et al. proposed partial t-norms in [11]. Wei considered partial t-implications in [12]. In [13], Chajda et al. investigated the natural implication in lattice effect algebra and explored the effect implication algebra. Furthermore, some scholars also studied the fuzzy implication and residuated implication in effect algebras (see [12,14,15,16]). Baets provided the concept of residuated implication in [17]. Regarding the algebraic structure of partial t-norms, Sheng and Zhang considered the partial algebraic structure: regular partial residuated lattice in [18]. In addition, some scholars studied the relationship between fuzzy logic and quantum logic (see [19,20,21]), including the filter and congruence relationship between residuated lattices and effect algebras (see [22,23,24]).
In light of the above inspiration, this paper focuses on the following contents. First, we present the general form of PRIs induced by partial t-norms as well as reasonably define PFIs. Second, the concept of partial adjoint pairs (PAPs) is properly defined. On this basis, partial residuated monoids and partial residuated lattices are defined. We also develop the induction relationship between lattice effect algebra and PRL. Finally, the filter and quotient structure of PRMs are established.

2. Lattice Effect Algebras and Partial t-Norms

We briefly review the concepts of lattice effect algebras, quasiresiduated lattices and partial t-norms, construct partial t-norms in lattice effect algebras, and prove that the operation ⊙ in commutative quasiresiduated lattices is a partial t-norm.
Definition 1
([10,12,14]). A partial algebra ( E , + , , 0 , 1 ) is called an effect algebra, where + is a partial operation and ’ is a unary operation such that for any x , y , z E :
(E1)
x + y is defined iff y + x is defined, and then x + y = y + x ;
(E2)
x + y and ( x + y ) + z are defined iff y + z and x + ( y + z ) are defined, and then ( x + y ) + z = x + ( y + z ) ;
(E3)
For every x E , there exists a unique x E such that x + x = 1 ;
(E4)
If x + 1 is defined, then x = 0 .
( E ; ) is a partial ordered set, where ≤ is a partial ordered relation on E through x y iff there exists z E and x + z = y . If ( E ; ) is a lattice, we call it is a lattice effect algebra (LEA).
Theorem 1
([14]). Let ( E , , + , , 0 , 1 ) be an LEA. Then, for any x , y , z E :
(1)
x + y is defined iff x y ;
(2)
If x y and y + z is defined, then x + z is defined and x + z y + z ;
(3)
If x y , then x + ( x + y ) = y .
Definition 2
([14]). A partial algebra ( C , , , , , 0 , 1 ) is called a commutative quasiresiduated lattice (cQL), where ( C , , , 0 , 1 ) is a bounded lattice, ⊙ is a partial operation, and → is a full operation such that, for any x , y , z C :
(i)
( C , , 1 ) is a commutative partial monoid and x y is defined iff x y ;
(ii)
x = x , if x y then y x ;
(iii)
( x y ) y y z iff x y y z .
Here, x is an abbreviation for x 0 .
Theorem 2
([16]). Let ( C , , , , , 0 , 1 ) be a cQL. Then, for any x , y , z C :
(1)
If x y , then x y y ;
(2)
If x y , then x y ( x y ) ;
(3)
If x y and z y , then x y z iff x y z .
Definition 3
([11]). Let L be a bounded lattice. A partial binary operation ⊙ on L is called a partial t-norm (pt-norm), if for any x , y , z , h , k L :
(p1)
x 1 = 1 ;
(p2)
If x y is defined, then y x is defined and x y = y x ;
(p3)
If y z and x ( y z ) are defined, then x y and ( x y ) z are defined and x ( y z ) = ( x y ) z ;
(p4)
If x y , h k and x h , y k are defined, then x h y k .
Example 1.
Define the operation ⊙ as follows:
a b : = u n d e f i n e d i f a , b [ 0 , 0.5 ] m i n { a , b } o t h e r s
Then, the operation ⊙ is a pt-norm ( a , b [ 0 , 1 ] ) .
Example 2.
Define the operation ⊙ as follows:
a b : = m i n { a , b } i f a , b [ 0.5 , 1 ] u n d e f i n e d o t h e r s
Then, the operation ⊙ is a pt-norm ( a , b [ 0 , 1 ] ) .
Example 3.
Assume that L = { 0 , l , m , n , 1 } . The Hasse diagram of ( L ; ) is shown in Figure 1, and the operation ⊙ is defined by Table 3. Then, ⊙ is a pt-norm.
Example 4.
Assume that L = { 0 , l , m , n , 1 } . The Hasse diagram of ( L ; ) is shown in Figure 2, and the operation ⊙ is defined by Table 4. Then, ⊙ is a pt-norm.
Proposition 1.
Let ( E , , + , , 0 , 1 ) be an LEA. Define the binary operation ⊙ on E as follows (for any x , y E ):
x y : = ( x + y )   iff x y .
Then, ⊙ is a partial t-norm.
Proof. 
(1) Since x 1 , x 1 is defined, then x 1 = ( x + 1 ) = ( x + 0 ) = x .
(2) If x y is defined, then x y , so y x , and ( x + y ) = ( y + x ) , i.e., y x is defined. Thus, the exchange law is established.
(3) Suppose y z , x ( y z ) are defined, we have y z and x ( y + z ) . Applying Theorem 1 (3), y + ( y + z ) = z . By Theorem 1 (1), y ( y + z ) . On the other hand, ( y + z ) x . Thus, y ( y + z ) x , that is, x y . Moreover, above, we have ( x + y ) = y + x y + ( y + z ) = z . Hence, we have ( x y ) z = ( x + y ) + z = x + ( y + z ) = x ( y z ) . Thus, the associative law is established.
(4) For any x , y , h , k E , if x y , h k , and x h , y k are defined, then y x , k h , x h , y k . Applying Theorem 1 (2), y + k x + k x + h , ( x + h ) ( y + k ) , x h y k .
Therefore, ⊙ is a partial t-norm. □
Proposition 2.
Let ( C , , , , , 0 , 1 ) be a cQL. Then, the partial operation ⊙ is a partial t-norm on C.
Proof. 
If x y , x z and y z are defined, then applying Theorem 2 (2), y z ( y z ) . Thus, x z ( y z ) . Moreover, we have y z z , by Theorem 2 (1) and (3), x z y z . Then, when x y , h k , and x h , y k are defined, this implies x h y h y k .
Therefore, ⊙ is a partial t-norm. □

3. Partial Residuated Implications (PRIs) Derived from Partial t-Norms

Many scholars have studied the residuated implication induced by t-norm. In [9], Borzooei gave the concept of partial t-norm but did not make further research. In this section, we will study the residuated implication derived by partial t-norms and call it partial residuated implications.
Definition 4.
Let L be a bounded lattice and ⊙ be a pt-norm on L. A partial operation induced by ⊙ is called a partial residuated implication (PRI) such that for any a , b L :
a b : = s u p { x L a x i s d e f i n e d a n d a x b } i f S a n d s u p S e x i s t s u n d e f i n e d o t h e r w i s e
where S = { x L a x i s d e f i n e d a n d a x b } .
Example 5.
Assume that ( E , , + , , 0 , 1 ) is an LEA. Define Sasaki arrow S on E as follows:
x S y = x + ( x y )
Then, Sasaki arrow S is a PRI on E.
Example 6.
Assume that ( E , , + , , 0 , 1 ) is an LEA. Define the function I S on E as follows:
I S ( x , y ) : = 1 i f x y a i f t h e i n t e r v a l E [ 0 , x ] i s t o t a l l y o r d e r e d , h a s a n a t o m a a n d x ( x y ) = a 0 o t h e r w i s e
Then, I S ( x , y ) is a PRI on E.
Example 7.
Assume that L = { 0 , l , m , n , 1 } . The Hasse diagram of ( L ; ) is shown in Figure 3 and the operations ⊙ and are defined by Table 5 and Table 6. Then, ⊙ is a pt-norm and is a PRI induced by ⊙.
Theorem 3.
Let L be a bounded lattice, ⊙ be a pt-norm on L and be a PRI derived from ⊙. The following statements are equivalent:
(i)
⊙ is infinitely ∨-distributive, i.e., if i I x i and i I ( x x i ) are existing, then x ( i I x i ) = i I ( x x i ) ;
(ii)
x z is defined and x z y iff x y is defined and z x y ;
(iii)
If x y and x ( x y ) are defined, then x ( x y ) y ;
(iv)
If { a L x a is defined and x a y } is not empty, then the set has the maximum element.
Proof. 
( i ) ( i i ) : If x z is defined and x z y , then z { v L x v i s d e f i n e d a n d x v y } , hence x y = { v L x v i s d e f i n e d a n d x v y } , so z x y . Conversely, if z x y , from Definition 3 (4), we obtain x z x ( x y ) = x ( { v L x v i s d e f i n e d a n d x v y } ) = { x v x v i s d e f i n e d a n d x v y } = y .
( i i ) ( i i i ) : We know x y x y , then x ( x y ) y .
( i i i ) ( i v ) : If x ( x y ) y and { v L x v i s d e f i n e d a n d x v y } is a nonempty set, then x y { v L x v i s d e f i n e d a n d x v y }   ( i v ) ( i ) : If { v L x v i s d e f i n e d a n d x v y } is a nonempty set, let x i { v L x v i s d e f i n e d a n d x v y } , from Definition 3 (4), we know i I ( x x i ) x ( i I x i ) . Next, we only need to prove x ( i I x i ) i I ( x x i ) . Let u = i I ( x x i ) , then x x i u , we have x i { v L x v i s d e f i n e d a n d x v u } , for every x i L , hence x i x u and i I x i x u , hence, x ( i I x i ) i I ( x x i ) . In conclusion, x ( i I x i ) = i I ( x x i ) . □
Corollary 1.
Let L be a bounded lattice and ⊙ be a pt-norm on L. If ⊙ is infinitely ∨-distributive and { a L x a is defined and x a y } is a nonempty set, then PRI is a fuzzy implication.
Proof. 
It follows from Theorem 3. □

4. Partial Fuzzy Implications (PFIs) and Partial Residuated Lattices (PRLs)

We propose the definition of partial fuzzy implication, and define partial residuated monoid and partial residuated lattice by defining partial adjoint pairs. We also prove that partial residuated lattices are partial algebraic structures corresponding to pt-norms and PRIs. Finally, the related properties of partial residuated lattices are studied.
Definition 5
([12]). Let L be a bounded lattice. The function I : L × L L is called a fuzzy implication, if, for any x , y , x 1 , x 2 , y 1 , y 2 L , the following conditions are satisfied:
(i)
If x 1 x 2 , then I ( x 2 , y ) I ( x 1 , y ) ;
(ii)
If y 1 y 2 , then I ( x , y 1 ) I ( x , y 2 ) ;
(iii)
I ( 0 , 0 ) = I ( 1 , 1 ) = 1 , I ( 1 , 0 ) = 0 .
Definition 6
([25]). Let L be a bounded lattice. The function N : L L is called a negation, if for any x , y L , the following conditions are satisfied:
(i)
N ( 0 ) = 1 and N ( 1 ) = 0 ;
(ii)
If x y , then N ( y ) N ( x ) .
Definition 7.
Let L be a bounded lattice. The function P I : L × L L is called a partial fuzzy implication (PFI), if for any x , y , x 1 , x 2 , y 1 , y 2 L , the following conditions are satisfied:
(PI1)
If x 1 x 2 , P I ( x 1 , y ) and P I ( x 2 , y ) are defined, then P I ( x 2 , y ) P I ( x 1 , y ) ;
(PI2)
If y 1 y 2 , P I ( x , y 1 ) and P I ( x , y 2 ) are defined, then P I ( x , y 1 ) P I ( x , y 2 ) ;
(PI3)
P I ( 0 , 0 ) = P I ( 1 , 1 ) = 1 , P I ( 1 , 0 ) = 0 .
Example 8.
Let L be a bounded lattice, P I is a PFI on L. Define the operation P I N as follows (for any x , y L ):
P I N ( x , y ) : = P I ( N ( y ) , N ( x ) ) i f P I ( N ( y ) , N ( x ) ) i s d e f i n e d u n d e f i n e d o t h e r w i s e
Then, P I N is a PFI on L, where N is a negation.
Example 9.
Let L be a bounded lattice, P I is a PFI on L. Define the operation P I N m as follows (for any x , y L ):
P I N m ( x , y ) : = m i n { P I ( x , y ) N ( x ) , P I N ( x , y ) y } i f P I ( x , y ) a n d P I N ( x , y ) a r e d e f i n e d u n d e f i n e d o t h e r w i s e
Then, P I N m is a PFI on L, where N is a negation.
Example 10.
Let L = [ 0 , 1 ] , P I 1 and P I 2 are two PFIs on L. Define the operation P I P I 1 P I 2 as follows (for any x , y , a L ):
P I P I 1 P I 2 ( x , y ) : = 1 i f x = 0 a · P I 1 ( x , y a ) i f P I 1 i s d e f i n e d a n d x > 0 , y a a + ( 1 a ) · P I 2 ( x , y a 1 a ) i f P I 2 i s d e f i n e d a n d x > 0 , x > a u n d e f i n e d o t h e r w i s e
Then, P I P I 1 P I 2 is a PFI on L.
Theorem 4.
Let L be a bounded lattice, ⊙ be a pt-norm on L and be a PRI induced by ⊙. Then, is the PFI.
Proof. 
(PI1) If a c and b c are defined, then a c = s u p { x 1 L a x 1 i s d e f i n e d a n d a x 1 c } , b c = s u p { x 2 L b x 2 i s d e f i n e d a n d b x 2 c } , i.e., x 2 , s.t., b x 2 is defined and b x 2 c , hence b x 2 c . In addition, when a b , we have a x 2 c , so a x 2 is defined and a x 2 c , then x 2 { x 1 L a x 1 i s d e f i n e d a n d a x 1 c } , and { x 2 L b x 2 i s d e f i n e d a n d b x 2 c } { x 1 L a x 1 i s d e f i n e d a n d a x 1 c } , hence s u p { x 2 L b x 2 i s d e f i n e d a n d b x 2 c } s u p { x 1 L a x 1 i s d e f i n e d a n d a x 1 c } , i.e., b c a c .
(PI2) Similar to (PI1), we can obtain a b a c .
(PI3) 0 0 = s u p { a L 0 a i s d e f i n e d a n d 0 a 0 } = s u p { a L 0 a i s d e f i n e d a n d 0 a = 0 } = 1 , i.e., P I ( 0 , 0 ) = 1 ;
1 1 = s u p { a L 1 a i s d e f i n e d a n d 1 a 1 } = 1 , i.e., P I ( 1 , 1 ) = 1 ;
1 0 = s u p { a L 1 a i s d e f i n e d a n d 1 a 0 } = s u p { a L 1 a i s d e f i n e d a n d 1 a = 0 } = 0 , i.e., P I ( 1 , 0 ) = 0 . □
Definition 8.
A pair ( , ) on a poset ( P , ) is called a partial adjoint pair (PAP) where ⊗ and → are two partial operations, if for any x , y , z P , the following conditions are satisfied:
(PA1)
The operation ⊗ is isotone, i.e., if x y , x z and y z are defined, then x z y z ; if x y , z x and z y are defined, then z x z y .
(PA2)
The operation → is antitone in the first variable, i.e., if x y , x z and y z are defined, then y z x z ; → is isotone in the second variable, i.e., if x y , z x and z y are defined, then z x z y .
(PA3)
If x y and x z are defined, then x y z iff y x z .
Definition 9.
A partial algebra ( L ; , , , 0 , 1 ) is called a partial residuated monoid (PRM) where ( L ; , 0 , 1 ) is a bounded partial ordered set, ⊗ and → are two partial operations, if for any x , y , z L , the following conditions are satisfied:
(M1)
If x y is defined, then y x is defined and x y = y x ;
(M2)
If y z , x ( y z ) are defined, then x y , ( x y ) z are defined and x ( y z ) = ( x y ) z ;
(M3)
x 1 is defined and x 1 = x ;
(M4)
( , ) is a PAP on L.
If ( L ; , 0 , 1 ) is a bounded lattice, then ( L ; , , , 0 , 1 ) is called a partial residuated lattice (PRL).
Example 11.
Assume that L = { 0 , l , m , 1 } . The Hasse diagram of ( L ; ) is shown in Figure 4, and the operations ⊗ and → are defined by Table 7 and Table 8. Then, L is a PRL.
Example 12.
Assume that L = { 0 , l , m , n , 1 } . The Hasse diagram of ( L ; ) is shown in Figure 1, and the operations ⊗ and → are defined by Table 9 and Table 10. Then, L is a PRL.
Theorem 5.
Let ( L ; , , , 0 , 1 ) be a PRL. Then, for any x , y L :
(1)
x x = 1 ;
(2)
x 1 = 1 ;
(3)
1 x = x ;
(4)
If x y is defined, then x y = 1 iff x y .
Proof. 
(1) We know x 1 x , by (PA3), and we obtain 1 x x , then x x = 1 .
(2) We know x 1 1 , then 1 x 1 , further x 1 = 1 .
(3) Since 1 x x , x 1 x . In addition, 1 x 1 x , then ( 1 x ) 1 x , so 1 x = x .
(4) ( ) For all x , y L , 1 x y , so x 1 y , hence, x y .
( ) For all x , y L , x 1 y , so 1 x y , hence x y = 1 . □
Theorem 6.
Let L be a bounded lattice, ⊙ be a partial t-norm on L and be a PRI derived from ⊙. Then, ( L ; , , , 0 , 1 ) is a PRL.
Proof. 
By Definitions 3 and 4, we can clearly know that (PA1), (PA3), (M1), (M2) and (M3) are true; next, we prove (P2).
For any x , y , z L , suppose x y , if a L , z a x , then z a x y . That is, { a L z a i s d e f i n e d a n d z a x } { b L z b i s d e f i n e d a n d z b y } , hence s u p { a L z a i s d e f i n e d a n d z a x } s u p { b L z b i s d e f i n e d a n d z b y } . Thus, z x z y . Seemingly, we can obtain y z x z . □
Theorem 7.
Let ( E ; , + , , 0 , 1 ) be an LEA. Define two binary operations ⊙ and → as follows (for any x , y E ):
x y : = ( x + y ) i f f x y
x y : = x + y i f f y x
Then, ( E ; , , , 0 , 1 ) is a PRL.
Proof. 
It follows from Proposition 1 that ⊙ is a partial t-norm, then (M1), (M2) and (M3) hold, we only need to prove (M4). It is obvious that (PA1) holds, next, we will prove (PA2) and (PA3).
(PA2) On the one hand, if x y , then y x . In addition, x z = x + z , y z = y + z . Hence, y + z x + z , y z x z . On the other hand, we can obtain similar results: y z x z .
(PA3) First of all, we know that, if x y z , then ( x + y ) z ; hence, z x + y . In other words, there exists u E , u + z = x + y , so ( u + z ) z . From the properties of lattice effect algebra, y = ( x + ( u + z ) ) y = x + ( u + z ) , so x + ( u + z ) x + z . Thus, y x + z y x z . In addition, then, if y x z , then y x + z . In other words, there exists v E , y + v = x + z , so ( y + v ) y . From the properties of lattice effect algebra, z = ( x + ( y + v ) ) z = x + ( y + v ) , so x + ( y + v ) x + y . Thus, z x + y ( x + y ) z x y z .
Hence, ( E ; , + , , 0 , 1 ) is a PRL. □
Definition 10.
A pair ( , ) on a poset ( P , ) is called a special partial adjoint pair (sPAP) where ⊗ and → are two partial operations, if, for any x , y , z P , the following conditions are satisfied:
(sA1)
The operation ⊗ is isotone, i.e., if x y , x z and y z are defined, then x z y z ; if x y , z x and z y are defined, then z x z y .
(sA2)
The operation → is antitone in the first variable, i.e., if x y and x z is defined, then y z is defined and y z x z ; → is isotone in the second variable, i.e., if x y and z y is defined, then z x is defined and z x z y .
(sA3)
x y is defined and x y z iff x z is defined and y x z .
Definition 11.
A partial algebra ( L ; , , , 0 , 1 ) is called a special partial residuated lattice (sPRL) where ( L ; , 0 , 1 ) is a bounded lattice, ⊗ and → are two partial operations, if, for any x , y , z L , the following conditions are satisfied:
(sP1)
If x y is defined, then y x is defined and x y = y x ;
(sP2)
If y z , x ( y z ) are defined, then x y , ( x y ) z are defined and x ( y z ) = ( x y ) z ;
(sP3)
x 1 is defined and x 1 = x ;
(sP4)
( , ) is an sPAP on L.
Theorem 8.
Let ( L ; , , , 0 , 1 ) be an sPRL. Then, ( L ; , , , 0 , 1 ) is a residuated lattice.
Proof. 
(1) For all x L , x 1 x , so 1 x x ; furthermore, x x = 1 .
(2) For all x L , we have x 1 = 0 0 , so x 0 is defined and x 0 0 , so x 0 = 0 .
(3) By (2), we know x 0 = 0 , so x 0 y , then x y is defined and 0 x y .
(4) By (1), we know x 1 = y y , so x y is defined and x y y .
To sum up, ⊗ and → are full operations, then ( L ; , , , 0 , 1 ) is a residuated lattice. □
Definition 12.
A PRL ( L ; , , , 0 , 1 ) is called a well partial residuated lattice (wPRL), if for any x , y L :
( W )   i f   x y   is   defined ,   then   x ( x y )   is   defined .
Example 13.
Assume that L = { 0 , l , m , 1 } . The Hasse diagram of ( L ; ) is shown in Figure 4, and the operations ⊗ and → are defined by Table 11 and Table 12. Then, L is a wPRL.
Example 14.
Assume that L = { 0 , l , m , n , 1 } . The Hasse diagram of ( L ; ) is shown in Figure 1, and the operations ⊗ and → are defined by Table 13 and Table 14. Then, L is a wPRL.
Example 15.
Assume that L = { 0 , l , m , n , p , 1 } . The Hasse diagram of ( L ; ) is shown in Figure 5, and the operations ⊗ and → are defined by Table 15 and Table 16. Then, L is a wPRL.
Theorem 9.
Let ( L ; , , , 0 , 1 ) be a wPRL. Then, for any x , y L :
(1)
If x y is defined, then x y x y ;
(2)
If x y is defined, then x ( x y ) y and x ( x y ) y .
Proof. 
(1) Since x 1 = y y , then x y y ; obviously, x y x . Hence, x y x y .
(2) Based on assumptions and by Definition 12 (W), x ( x y ) is defined, since x y x y , by Definition 8 (PA3), x ( x y ) y . In addition, applying Definition 9 (M1) and Definition 12 (W), ( x y ) y is defined, applying Definition 8 (PA3), we obtain x ( x y ) y . □

5. Partial t-Conorms and Partial Co-Residuated Lattices

In [19], Zhou and Li further investigate the relationship between residuated structures and some quantum structures from the perspective of partial algebra, and introduce the concept of partial residuated lattice. In order to avoid ambiguity, we call it a Z L -partial residuated lattice ( Z L -PRL). In this section, we introduce partial co-residuated lattices and reveal the relationship between them and Z L -PRL.
Definition 13
([26]). Let S be a bounded lattice. A binary operation ⊕ on S is called a t-conorm, if for any x , y , z , h , k S :
(i)
0 x = x ;
(ii)
x y = y x ;
(iii)
x ( y z ) = ( x y ) z ;
(iv)
If x y and h k , then x h y k .
Definition 14
([27]). A pair ( , ) on a poset ( P , ) is called a co-adjoint pair where ⊕ and ⊖ are two binary operations, if, for any x , y , z P :
(cA1)
The operation ⊕ is isotone, i.e., if x y , then x z y z and z x z y .
(cA2)
The operation ⊖ is isotone in the first argument, i.e., if x y , then x z y z ; ⊖ is antitone in the second argument, i.e., if x y , then z y z x .
(cA3)
z x y iff z y x .
Definition 15
([27]). A structure ( S ; , , , 0 , 1 ) is called a co-residuated lattice where ⊕ and ⊖ are two binary operations, if, for any x , y , z S :
(cR1)
( S ; , 0 ) is a commutative semigroup;
(cR2)
For all x S , x 0 = x ;
(cR3)
( , ) is a co-adjoint pair on S.
Definition 16.
Let S be a bounded lattice. A partial operation ⊛ on S is called a partial t-conorm, if, for any x , y , h , k S :
(i)
0 x = x ;
(ii)
If x y is defined, then y x is defined and x y = y x ;
(iii)
If y z and x ( y z ) are defined, then x y and ( x y ) z are defined and x ( y z ) = ( x y ) z ;
(iv)
If x y , h k , x h and y k are defined, then x h y k .
Example 16.
Define the operation ⊛ as follows:
a b : = u n d e f i n e d i f a , b [ 0.5 , 1 ] m a x { a , b } o t h e r s
Then, the operation ⊛ is a partial t-conorm ( a , b [ 0 , 1 ] ) .
Example 17.
Define the operation ⊛ as follows:
a b : = m a x { a , b } i f a , b [ 0 , 0.5 ] u n d e f i n e d o t h e r s
Then, the operation ⊛ is a partial t-conorm ( a , b [ 0 , 1 ] ) .
Example 18.
Define the operation ⊛ as follows:
a b : = a b i f a + b α o r a = 0 o r b = 0 u n d e f i n e d o t h e r s
Then, the operation ⊛ is a partial t-conorm ( a , b , α [ 0 , 1 ] ) .
Example 19.
Assume that S = { 0 , l , m , n , 1 } . The Hasse diagram of ( S ; ) is shown in Figure 1, and the operation ⊛ is defined by Table 17. Then, ⊛ is a partial t-conorm.
Definition 17.
Let S be a bounded lattice and ⊛ be a partial t-conorm on S. A partial operation induced by ⊛ is called a partial residuated co-implication such that, for any a , b S :
a b : = i n f { x S a x i s d e f i n e d a n d a x b } i f I a n d i n f I e x i s t s u n d e f i n e d o t h e r w i s e
where I = {x ∈ S ∣ a ⊛ x is defined and a ⊛ x ≥ b}.
Definition 18.
A pair ( , ) on a poset ( P , ) is called a partial co-adjoint pair (cPAP), where ⊛ and ⇝ are two partial operations, if for any x , y , z P , the following conditions are satisfied:
(cPA1)
The operation ⊛ is isotone, i.e., if x y , x z and y z are defined, then x z y z ; if x y , z x and z y are defined, then z x z y .
(cPA2)
The operation ⇝ is isotone in the first argument, i.e., if x y , x z and y z are defined, then x z y z ; ⇝ is antitone in the second variable, i.e., if x y , z x and z y are defined, then z y z x .
(cPA3)
If x y and z y are defined, then z x y iff z y x .
Definition 19.
A structure ( S ; , , , 0 , 1 ) is called a partial co-residuated lattice (PcRL) where ( S ; , 0 , 1 ) is a bounded lattice, ⊛ and ⇝ are two partial operations, if for any x , y , z S , the following conditions are satisfied:
(cPR1)
If x y is defined, then y x is defined and x y = y x .
(cPR2)
If y z , x ( y z ) are defined, then x y , ( x y ) z are defined and x ( y z ) = ( x y ) z .
(cPR3)
x 0 is defined and x 0 = x .
(cPR4)
( , ) is a cPAP on S.
We can know that the partial co-residuated lattice and the partial residuated lattice are dual.
Example 20.
Assume that S = { 0 , l , m , n , 1 } . The Hasse diagram of ( S ; ) is shown in Figure 1, and the operations ⊛ and ⇝ are defined by Table 18 and Table 19. Then, L is a PcRL.
Theorem 10.
Let ( S ; , , , 0 , 1 ) be a PcRL. Then, for any x , y S :
(1)
If x 0 is defined, then x 0 = x .
(2)
If x y is defined, then x y = 0 iff x y .
(3)
If x y and ( x y ) y are defined, then ( x y ) y x .
(4)
If x y and ( x y ) y are defined, then x ( x y ) y .
Proof. 
(1) If x 0 is defined, and we have x x 0 , then x 0 x . In addition, for any a S , x 0 a , x a 0 = a . Let a = x 0 . Thus, x 0 = x .
(2) ( ) If x y is defined, and we have x y x y , 0 x y , so x 0 y , hence x y .
( ) We have x y 0 , then x y 0 , so, x y = 0 .
(3) We know x y x y , applying (cPA3), ( x y ) y x .
(4) We know x y x y , applying (cPA3), x ( x y ) y . □
Definition 20
([19]). A structure ( S ; , , , 0 , 1 ) is called a partial residuated lattice where ⊕ and ⊖ are two partial operations, if the following conditions are satisfied:
(i)
( S ; , 0 , 1 ) is a bounded lattice.
(ii)
( S , , 0 ) is a partial commutative monoid, its unit element is 0.
(iii)
( , ) is a partial adjoint pair on S.
In order to distinguish, we call the partial residuated lattice in Definition 20 is Z L -PRL.
Theorem 11.
Let ( S ; , , , 0 , 1 ) be a Z L -PRL. If we define the order relation ⪯ and the constants i, θ as follows:
a b b a   ( a , b L ) , i 0 , θ 1 .
Then, ( S ; , , , θ , i ) is a partial co-residuated lattice.
Proof. 
Obviously, if we want to prove that it is a partial co-residuated lattice, we only need to prove that (cPA3) and (cPR3) are true. Thus, we have:
(1) For all x , y , z S , if x y and z y are defined, then z x y iff z y x .
(2) For all x S , x i is defined and x i = i .
It is easy to obtain that ( S ; , , , θ , i ) is a PcRL. □
Corollary 2.
Let ( S ; , , , θ , i ) be a PcRL. Then, it is a co-residuated lattice.
Proof. 
It can be proved by Theorems 8 and 11. □

6. Filters in Well Partial Residuated Lattices (wPRLs)

We propose filters and strong filters of wPRLs, construct the quotient structure ( L / F ; , , , [ 0 ] F , [ 1 ] F ) , and proved that it is a partial residuated monoid.
Definition 21.
Let ( L ; , , , 0 , 1 ) be a well partial residuated lattice (wPRL). F L and F , which is called a filter, if,
(F1)
1 F .
(F2)
If x F , y L and x y , then y F .
(F3)
If x , y F and x y is defined, then x y F .
If F L , then F is called the proper filter.
Example 21.
Let L = { 0 , l , m , 1 } be a wPRL in Example 13. Then, the proper filters are: { 1 } , { l , 1 } and { m , 1 } .
Example 22.
Let L = { 0 , l , m , n , 1 } be a wPRL in Example 14. Then, the proper filters are: { 1 } , { m , 1 } , { n , 1 } and { l , m , 1 } .
Example 23.
Let L = { 0 , l , m , n , p , 1 } be a wPRL in Example 15. Then, the proper filters are: { 1 } , { l , 1 } , { m , 1 } , { p , 1 } , { l , m , 1 } , { l , p , 1 } and { m , p , 1 } .
Example 24.
Define two partial operations ⊗ and → as follows:
a b : = u n d e f i n e d i f a , b [ 0 , 0.5 ] m i n { a , b } o t h e r s
a b : = u n d e f i n e d i f a , b [ 0 , 0.5 ] a n d a > b 1 i f a b b e l s e
Then, ( L ; , , , 0 , 1 ) is a PRL ( a , b [ 0 , 1 ] ) , the proper filters are: F 1 = { 1 } , F 2 = [ x , 1 ] , where x [ 0 , 1 ] .
In the following contents, unless otherwise specified, it means that the contents are valid under the condition of definition.
Proposition 3.
Let ( L ; , , , 0 , 1 ) be a wPRL and F be a filter of L. Then,
( x F , y L , x y F ) y F
Proof. 
By x F , y L , x y F , applying Definition 12 (W) and Definition 21 (F3), we obtain x ( x y ) F , and by Theorem 9 (2), we have x ( x y ) y , so, applying Definition 21 (F2), y F . □
Definition 22.
Let ( L ; , , , 0 , 1 ) be a wPRL. A filter F of L is called a strong filter, if for any x , y , z L , the following conditions are satisfied:
(s1)
If z x , z y are defined and x y F , then ( z x ) ( z y ) F ;
(s2)
If y z , x z are defined and x y F , then ( y z ) ( x z ) F ;
(s3)
If ( x y ) z is defined and x ( y z ) F , then ( x y ) z F ;
(s4)
If x z , y z are defined and x y F , then ( x z ) ( y z ) F .
Example 25.
Assume that L = { 0 , l , m , 1 } . The Hasse diagram of ( L ; ) is shown in Figure 4, and the operations ⊗ and → are defined by Table 20 and Table 21. Then, ( L ; , , , 0 , 1 ) is a wPRL. The filters are: { 1 } , { l , 1 } and { m , 1 } ; they are not strong filters (Because if F = { 1 } , it does not meet (s2) and (s4). Thus, { l , 1 } and { m , 1 } are not strong filters either).
Example 26.
Let L = { 0 , l , m , 1 } be a wPRL in Example 13. Then, the proper filters are: { 1 } , { l , 1 } and { m , 1 } ; they are not strong filters.
Example 27.
Let L = { 0 , l , m , n , 1 } be a wPRL in Example 14. Then, the proper filters are: { 1 } , { m , 1 } , { n , 1 } and { l , m , 1 } , where { 1 } and { n , 1 } are strong filters and { m , 1 } and { l , m , 1 } are not strong filters (they do not satisfy (s2) and (s4).)
Example 28.
Let L = { 0 , l , m , n , p , 1 } be a wPRL in Example 15. Then, the proper filters are: { 1 } , { l , 1 } , { m , 1 } , { p , 1 } , { l , m , 1 } , { l , p , 1 } and { m , p , 1 } ; they are all strong filters.
Proposition 4.
Let ( L ; , , , 0 , 1 ) be a wPRL and F be a strong filter of L. Then, for any x , y , z L :
( x y ) z F , implies x ( y z ) F .
Proof. 
Applying Definition 12 (W), we obtain that ( x y ) ( ( x y ) z ) is defined, so ( ( x y ) z ) ( x y ) z , we have ( ( x y ) z ) x y z , hence, ( x y ) z x ( y z ) . Since ( x y ) z F , then x ( y z ) F . □
Definition 23.
Let ( L ; , , , 0 , 1 ) be a wPRL, F be a filter of L. Define a binary relation F (for any x , y L ):
x F y   when   and   only   when   x y F   and   y x F .
Theorem 12.
Let ( L ; , , , 0 , 1 ) be a wPRL, F be a strong filter of L and F be a binary relation. Then, F is an equivalence relation on L.
Proof. 
(1) For any x L , we know that x x = 1 F , so x F x .
(2) Applying Definition 23, F is symmetric.
(3) Assume that x F y and y F z . For one thing, x y F , when x z is defined, by Definition 22 (s2), ( y z ) ( x z ) F , y z F , so x z F . For another, z y , y x are defined, z y F , when z x is defined, similarly, ( y x ) ( z x ) F , so, z x F . Hence, x F z . □
Definition 24.
Let ( L ; , , , 0 , 1 ) be a wPRL, ∼ be a binary relation of L, which is called a congruence relation, if, for any x , y , x 1 , y 1 L ,
(C1)
∼ is an equivalence relation;
(C2)
If x x 1 , y y 1 , x y and x 1 y 1 are defined, then ( x y ) ( x 1 y 1 ) ;
(C3)
If x x 1 , y y 1 , x y and x 1 y 1 are defined, then ( x y ) ( x 1 y 1 ) .
Theorem 13.
Let ( L ; , , , 0 , 1 ) be a wPRL and F be a strong filter of L. Then, F is the congruence relation.
Proof. 
Applying Theorem 12, F is an equivalence relation.
Suppose that x F x 1 , y F y 1 and x x 1 F , then by Definition 22 (s4), ( x y ) ( x 1 y ) F . Similarly, ( x 1 y ) ( x y ) F can be derived. Thus, ( x y ) F ( x 1 y ) . For the same reason, ( x 1 y ) F ( x 1 y 1 ) . In conclusion, ( x y ) F ( x 1 y 1 ) . This means that Definition 24 (C2) holds.
From x x , y y and y y 1 F , applying Definition 22 (s1), we have ( x y ) ( x y 1 ) F . Similarly, we can obtain ( x y 1 ) ( x y ) F . Hence, ( x y ) F ( x y 1 ) . Similraly, applying Definition 22 (s2), we can obtain ( x y 1 ) F ( x 1 y 1 ) . Thus, ( x y ) F ( x 1 y 1 ) . This means Definition 24 (C3) holds. □
We noted that [ x ] F is the equivalent class of x, L / F is the quotient set.
Theorem 14.
Let ( L ; , , , 0 , 1 ) be a PRM, F be a strong filter and F be a congruence relation. Define the following binary relation and binary operations on L / F (for any x , y L ):
[ x ] F [ y ] F : = [ x y ] F , h [ x ] F , k [ y ] F a n d h k i s d e f i n e d F i f [ y ] F = [ 1 ] F u n d e f i n e d , h [ x ] F , k [ y ] F a n d h k i s u n d e f i n e d
[ x ] F [ y ] F : = [ x y ] F , h [ x ] F , k [ y ] F a n d h k i s d e f i n e d u n d e f i n e d , h [ x ] F , k [ y ] F a n d h k i s u n d e f i n e d
I f x y i s d e f i n e d , t h e n [ x ] F [ y ] F w h e n a n d o n l y w h e n [ x ] F [ y ] F : = [ 1 ] F
Then, ( L / F ; , , , [ 0 ] F , [ 1 ] F ) is a PRM.
Proof. 
By Definition 24, we know that the above definition of ≤ on L / F is feasible.
Firstly, we prove that ≤ is a partial ordered relation.
(1) Reflexivity is clearly established;
(2) For any h [ x ] F , k [ y ] F , h k , k h are defined. If [ x ] F [ y ] F and [ y ] F [ x ] F , then [ x ] F [ y ] F = [ x y ] F = [ 1 ] F , so, 1 ( x y ) = x y F , and we know, [ y ] F [ x ] F = [ y x ] F = [ 1 ] F , so, 1 ( y x ) = y x F . Hence, [ x ] F = [ y ] F . Antisymmetry is established.
(3) For any h [ x ] F , k [ y ] F , l [ z ] F , h k , h l and k l are defined. If [ x ] F [ y ] F and [ y ] F [ z ] F , then [ x ] F [ y ] F = [ x y ] F = [ 1 ] F , [ y ] F [ z ] F = [ y z ] F = [ 1 ] F , from this and applying (2), we have x y F and y z F . Using Definition 22 (s1), ( x y ) ( x z ) F , so, x z F . Hence, ( x z ) 1 = 1 F , and 1 ( x z ) = x z F that is, [ x ] F [ z ] F = [ x z ] F = [ 1 ] F , for this reason, [ x ] F [ z ] F . Transitive is established.
Secondly, we prove that L / F is bounded:
We suppose that, for all D , I , x L , and D x , I x , then x D , I x are defined and x D = 1 , I x = 1 . Thus, for any [ D ] F , [ I ] F , [ x ] F L / F , if d [ D ] F , i [ I ] F , h [ x ] F , h d and i h are defined, then [ x ] F [ D ] F = [ x D ] F = [ 1 ] F , [ I ] F [ x ] F = [ I x ] F = [ 1 ] F . Hence, [ x ] F [ D ] F , [ I ] F [ x ] F .
Finally, we prove the following:
(M1) (1) If for any h [ x ] F , k [ y ] F , h k is defined, then k h also is, hence, [ x ] F [ y ] F = [ x y ] F = [ y x ] F = [ y ] F [ x ] F .
(2) If [ y ] F = [ 1 ] F , then [ x ] F [ y ] F = [ x ] F = [ 1 x ] F = [ 1 ] F [ x ] F = [ y ] F [ x ] F .
(M2) (1) If for any h [ x ] F , k [ y ] F , l [ z ] F and k l , h ( k l ) are defined, then h k , ( h k ) l are defined, hence [ x ] F ( [ y ] F [ z ] F ) = [ x ] F ( [ y z ] F ) = [ x ( y z ) ] F = [ ( x y ) z ] F = ( [ x y ] F ) [ z ] F = ( [ x ] F [ y ] F ) [ z ] F .
(2) ① If [ z ] F = [ 1 ] F , then [ x ] F ( [ y ] F [ z ] F ) = [ x ] F [ y ] F = [ x y ] F = [ ( x y ) z ] F = ( [ x ] F [ y ] F ) [ z ] F .
② If [ x ] F or [ y ] F = [ 1 ] F , similar proof can be obtained.
③ If [ x ] F and [ y ] F [ 1 ] F , then [ y ] F [ z ] F [ 1 ] F , i.e., when [ x ] F ( [ y ] F [ z ] F ) is defined, ( [ x ] F [ y ] F ) [ z ] F must defined.Hence, [ x ] F ( [ y ] F [ z ] F ) = ( [ x ] F [ y ] F ) [ z ] F .
(M3) For all [ x ] F L / F , [ x ] F [ 1 ] F = [ x ] F .
(M4) Now, we prove that ( , ) is a PAP on L / F .
(PA1) If, for any h [ x ] F , k [ y ] F , h k is defined and [ x ] F [ y ] F , then [ x ] F [ y ] F = [ x y ] F = [ 1 ] F .
(1) If, for any h [ x ] F , k [ y ] F , l [ z ] F and h l , k l are defined, then [ x ] F [ z ] F = [ x z ] F , [ y ] F [ z ] F = [ y z ] F . In addition, we know x y F , applying Definition 22 (s4), ( x z ) ( y z ) is defined and ( x z ) ( y z ) F = [ 1 ] F , so [ ( x z ) ( y z ) ] F = [ 1 ] F , i.e., [ x ] F [ z ] F [ y ] F [ z ] F .
(2) If [ z ] F = [ 1 ] F , then [ x ] F [ z ] F = [ x ] F [ y ] F = [ y ] F [ z ] F .
(PA2) For any h [ x ] F , k [ y ] F , l [ z ] F , h k , h l and k l are defined. If [ x ] F [ y ] F , then [ x ] F [ y ] F = [ x y ] F = [ 1 ] F . On the one hand, [ x ] F [ z ] F = [ x z ] F , [ y ] F [ z ] F = [ y z ] F , and we know x y F , applying Definition 22 (s2), ( y z ) ( x z ) F = [ 1 ] F , so [ ( y z ) ( x z ) ] F = [ 1 ] F , i.e., [ y ] F [ z ] F [ x ] F [ z ] F .
On the other hand, applying Definition 22 (s1), [ z ] F [ x ] F [ z ] F [ y ] F .
(PA3) ( ) ① If, for any h [ x ] F , k [ y ] F , l [ z ] F , h k , h l , ( h k ) l are defined, then [ x ] F [ y ] F = [ x y ] F , [ x ] F [ z ] F = [ x z ] F . Thus, we can obtain that [ x ] F [ y ] F [ z ] F [ x y ] F [ z ] F [ ( x y ) z ] F = [ 1 ] F , i.e., ( x y ) z F , applying Proposition 4, y ( x z ) F = [ 1 ] F ; hence, [ y ( x z ) ] F = [ 1 ] F [ y ] F [ x z ] F = [ 1 ] F [ y ] F [ x ] F [ z ] F .
② If [ y ] F = [ 1 ] F , then [ x ] F [ y ] F = [ x ] F . If for any h [ x ] F , l [ z ] F , h l is defined, then [ x ] F [ z ] F = [ x z ] F , and [ x ] F [ y ] F [ z ] F [ x ] F [ z ] F [ x z ] F = [ 1 ] F , it follows that [ 1 ] F [ x z ] F [ y ] F [ x ] F [ z ] F .
( ) By the same token, vice versa.
In conclusion, L / F is a PRM. □

7. Conclusions

Overall, in the first place, we analyze the partial residuated implication induced by partial t-norms, give the concepts of partial residuated monoids and partial residuated lattices by defining partial adjoint pairs, further construct partial residuated lattices from lattice effect algebras, as well as reveal the relationship between partial residuated lattices and lattice effect algebras. In the second place, notions of partial t-conorm and partial co-residuated lattice are given, and their properties are studied, which proves that Z L -partial residuated lattice is a co-residuated lattice. Finally, we build the filter theory of well partial residuated lattice, which can be viewed as a natural extension of the filter theories for lattice effect algebras and many fuzzy logic algebras. It is noteworthy that we propose and discuss some new concepts of filters, strong filters, and congruence relations on wPRLs. In addition, we establish the quotient algebras structure ( L / F ; , , , [ 0 ] F , [ 1 ] F ) of partial residuated monoid.
In future studies, the relationships among partial residuated lattices, general fuzzy set theories, and algebraic systems with applications can be considered (see [28,29,30,31,32,33]).

Author Contributions

Writing—original draft preparation, X.Z.; writing—review and editing, N.S.; writing—inspection and modification, R.A.B. All authors have read and agreed to the published version of the manuscript.

Funding

This study was funded by the National Natural Science Foundation of China (Nos. 61976130, 12271319).

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Conflicts of Interest

The authors declare that they have no conflict of interest.

References

  1. Zadeh, L.A. Fuzzy sets. Inf. Control. 1965, 8, 338–353. [Google Scholar] [CrossRef] [Green Version]
  2. Menger, K. Statistical Metrics. Proc. Natl. Acad. Sci. USA 1942, 28, 535–537. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  3. Schweizer, B.; Sklar, A. Probabilistic Metric Spaces; North-Holland: New York, NY, USA, 1983. [Google Scholar]
  4. Běhounek, L.; Novák, V. Towards fuzzy partial logic. In Proceedings of the 2015 IEEE International Symposium on Multiple-Valued Logic, Waterloo, ON, Canada, 18–20 May 2015; pp. 139–144. [Google Scholar]
  5. Běhounek, L.; Daňková, M. Variable-domain fuzzy sets—Part I: Representation. Fuzzy Sets Syst. 2020, 380, 1–18. [Google Scholar] [CrossRef]
  6. Kleene, S.C. Introduction to Metamathematics; D. van Nostrand: New York, NY, USA, 1952. [Google Scholar]
  7. Novak, V. Fuzzy type theory with partial functions. Iran. J. Fuzzy Syst. 2019, 16, 1–16. [Google Scholar]
  8. Běhounek, L.; Daňková, M. Aggregation operators with undefined inputs or outputs. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 2022, 30, 19–41. [Google Scholar] [CrossRef]
  9. Burmeister, P.A. Model Theoretic Oriented Approach to Partial Algebras; Akademie-Verlag: Berlin, Germany, 1986. [Google Scholar]
  10. Foulis, D.J.; Bennett, M.K. Effect algebras and unsharp quantum logics. Found. Phys. 1994, 24, 1331–1352. [Google Scholar] [CrossRef]
  11. Borzooei, R.A.; Dvurečenskij, A.; Sharafi, A.H. Material implications in lattice effect algebras. Inf. Sci. 2018, 433, 233–240. [Google Scholar] [CrossRef]
  12. Ji, W. Fuzzy implications in lattice effect algebras. Fuzzy Sets Syst. 2021, 405, 40–46. [Google Scholar] [CrossRef]
  13. Chajda, I.; Halas, R.; Langer, H. The logic induced by effect algebras. Soft Comput. 2020, 24, 14275–14286. [Google Scholar] [CrossRef]
  14. Chajda, I.; Länger, H. Residuation in lattice effect algebras. Fuzzy Sets Syst. 2020, 397, 168–178. [Google Scholar] [CrossRef] [Green Version]
  15. Wu, Y.; Wang, J.; Yang, Y. Lattice-ordered effect algebras and L-algebras. Fuzzy Sets Syst. 2019, 369, 103–113. [Google Scholar] [CrossRef]
  16. Zhang, X.H.; Wang, M.; Sheng, N. Q-residuated lattices and lattice pseudoeffect algebras. Soft Comput. 2022, 26, 4519–4540. [Google Scholar] [CrossRef]
  17. Baets, B.D. Coimplicators, the forgotten connectives. Tatra Mt. Math. Publ. 1997, 12, 229–240. [Google Scholar]
  18. Sheng, N.; Zhang, X. Regular Partial Residuated Lattices and Their Filters. Mathematics 2022, 10, 2429. [Google Scholar] [CrossRef]
  19. Zhou, X.; Li, Q. Partial residuated structures and quantum structures. Soft Comput. 2008, 12, 1219–1227. [Google Scholar] [CrossRef]
  20. Foulis, D.J.; Pulmannova, S. Logical connectives on lattice effect algebras. Stud. Logica 2012, 100, 1291–1315. [Google Scholar] [CrossRef]
  21. Vetterlein, T. BL-algebras and effect algebras. Soft Comput. 2005, 9, 557–564. [Google Scholar] [CrossRef]
  22. Buşneag, D.; Dana, P. Some types of filters in residuated lattices. Soft Comput. 2014, 18, 825–837. [Google Scholar] [CrossRef]
  23. Dvurečenskij, A.; Vetterlein, T. Congruences and states on pseudoeffect algebras. Found. Phys. Lett. 2001, 14, 425–446. [Google Scholar] [CrossRef]
  24. Jing, W. Ideals, filters, and supports in pseudoeffect algebras. Int. J. Theor. Phys. 2004, 43, 349–358. [Google Scholar] [CrossRef]
  25. Shang, Y.; Li, Y. Generalized ideals and supports in pseudo effect algebras. Soft Comput. 2007, 11, 641–645. [Google Scholar] [CrossRef]
  26. Jagadeesha, B.; Kuncham, S.P.; Kedukodi, B.S. Implications on a lattice. Fuzzy Inf. Eng. 2016, 8, 411–425. [Google Scholar] [CrossRef]
  27. Zheng, M.; Wang, G. Co-residuated Lattice and Application. Fuzzy Syst. Math. 2005, 19, 1–6. [Google Scholar]
  28. Wang, J.; Zhang, X.; Hu, Q. Three-way fuzzy sets and their applications (II). Axioms 2022, 11, 532. [Google Scholar] [CrossRef]
  29. Liang, R.; Zhang, X. Pseudo general overlap functions and weak inflationary pseudo BL-algebras. Mathematics 2022, 10, 3007. [Google Scholar] [CrossRef]
  30. Zhang, X.; Liang, R.; Bustince, H.; Bedregal, B.; Fernandez, J.; Li, M.; Ou, Q. Pseudo overlap functions, fuzzy implications and pseudo grouping functions with applications. Axioms 2022, 11, 593. [Google Scholar] [CrossRef]
  31. Zhang, X.; Du, Y. Left (right) regular and transposition regular semigroups and their structures. Mathematics 2022, 10, 1021. [Google Scholar] [CrossRef]
  32. Hu, M.; Zhang, X. On cyclic associative semihypergroups and neutrosophic extended triplet cyclic associative semihypergroups. Mathematics 2022, 10, 535. [Google Scholar] [CrossRef]
  33. Hu, M.; Wang, C.; Yang, J.; Wu, Y.; Fan, J.; Jing, B. Rain rendering and construction of rain vehicle color-24 dataset. Mathematics 2022, 10, 3210. [Google Scholar] [CrossRef]
Figure 1. Lattice order relation on L.
Figure 1. Lattice order relation on L.
Axioms 12 00063 g001
Figure 2. Lattice order relation on L.
Figure 2. Lattice order relation on L.
Axioms 12 00063 g002
Figure 3. Lattice order relation on L.
Figure 3. Lattice order relation on L.
Axioms 12 00063 g003
Figure 4. Lattice order relation on L.
Figure 4. Lattice order relation on L.
Axioms 12 00063 g004
Figure 5. Lattice order relation on L.
Figure 5. Lattice order relation on L.
Axioms 12 00063 g005
Table 1. Definability of connectives (1).
Table 1. Definability of connectives (1).
c β *
α α c β 0
***
Table 2. Definability of connectives (2).
Table 2. Definability of connectives (2).
0 δ *
0000
γ 0 γ δ *
0**
Table 3. The partial operation ⊙.
Table 3. The partial operation ⊙.
0lmn1
0 0
l 0 l
m 0l m
n 0n
10lmn1
Table 4. The partial operation ⊙.
Table 4. The partial operation ⊙.
0lmn1
0 0
l 0l
m 0 m
n 0 n
10lmn1
Table 5. The partial operation ⊙.
Table 5. The partial operation ⊙.
0lmn1
0 0
l nnml
m nnmm
n mmnn
10lmn1
Table 6. The partial operation .
Table 6. The partial operation .
0lmn1
011111
l 1111
m 1111
n 1111
10lmn1
Table 7. The partial operation ⊗.
Table 7. The partial operation ⊗.
0lm1
0 00
l l l
m0 mm
10lm1
Table 8. The partial operation →.
Table 8. The partial operation →.
0lm1
01
lm1
m0
10l
Table 9. The partial operation ⊗.
Table 9. The partial operation ⊗.
0lmn1
0 0
l 0l
m m m
n 0 nn
10lmn1
Table 10. The partial operation →.
Table 10. The partial operation →.
0lmn1
011111
ln11 1
mn 1 1
nmm 11
10lmn1
Table 11. The partial operation ⊗.
Table 11. The partial operation ⊗.
0lm1
0 00
l 0l
m 0 m
10lm1
Table 12. The partial operation →.
Table 12. The partial operation →.
0lm1
01 1
l 1 1
m l11
10lm1
Table 13. The partial operation ⊗.
Table 13. The partial operation ⊗.
0lmn1
0 0
l 0l
m m0m
n 00nn
10lmn1
Table 14. The partial operation →.
Table 14. The partial operation →.
0lmn1
011111
ln11 1
mn 1 1
n 11
10lmn1
Table 15. The partial operation ⊗.
Table 15. The partial operation ⊗.
0lmnp1
00 000
l l
m m
n0 00n
p0 0pp
10lmnp1
Table 16. The partial operation →.
Table 16. The partial operation →.
0lmnp1
0111111
l 1 1
m 1 1
np 111
pn n11
10lmnp1
Table 17. The partial operation ⊛.
Table 17. The partial operation ⊛.
0lmn1
00lmn1
llmn
mmmm
nn n
11
Table 18. The partial operation ⊛.
Table 18. The partial operation ⊛.
0lmn1
00lmn1
ll
mm
nn
11
Table 19. The partial operation ⇝.
Table 19. The partial operation ⇝.
0lmn1
000000
ll
m m m
n mmn0
1 1
Table 20. The partial operation ⊗.
Table 20. The partial operation ⊗.
0lm1
0 00
l l0l
m 0 m
10lm1
Table 21. The partial operation →.
Table 21. The partial operation →.
0lm1
011 1
lm1 1
ml 11
10lm1
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Zhang, X.; Sheng, N.; Borzooei, R.A. Partial Residuated Implications Induced by Partial Triangular Norms and Partial Residuated Lattices. Axioms 2023, 12, 63. https://doi.org/10.3390/axioms12010063

AMA Style

Zhang X, Sheng N, Borzooei RA. Partial Residuated Implications Induced by Partial Triangular Norms and Partial Residuated Lattices. Axioms. 2023; 12(1):63. https://doi.org/10.3390/axioms12010063

Chicago/Turabian Style

Zhang, Xiaohong, Nan Sheng, and Rajab Ali Borzooei. 2023. "Partial Residuated Implications Induced by Partial Triangular Norms and Partial Residuated Lattices" Axioms 12, no. 1: 63. https://doi.org/10.3390/axioms12010063

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