From: Some results on extension of lattice-valued QL-implications
Property
Preserve
Not preserved
(LB)
X
(RB)
(CC1)
(CC2)
(CC3)
(CC4)
(NP)
(L-NP)
(EP)
(IP)
(OP)
(IBL)
(CP)
(P)
(LEM)