Skip to main content

Table 1 Properties preserved and not preserved by the extension method

From: Some results on extension of lattice-valued QL-implications

Property

Preserve

Not preserved

(LB)

X

 

(RB)

X

 

(CC1)

X

 

(CC2)

X

 

(CC3)

X

 

(CC4)

X

 

(NP)

 

X

(L-NP)

X

 

(EP)

X

 

(IP)

X

 

(OP)

 

X

(IBL)

 

X

(CP)

 

X

(P)

 

X

(LEM)

 

X