A definition of lattice implication algebra based on implication operator
Liangzhong Yi, Zheng Pei · 2007
Lattice implication algebra is an important nonclassical logical algebra, it has been studied by researchers.Binary operation ∧, ∨ and unitary operation in lattice implication algebra could be defined by implication operation →, namely, these operations in lattice implication algebra are not independently.In this paper, firstly, we use implication operation → to define binary operation ∧, ∨ and unitary operation , then, partial set and lattice could be constructed, finally, another definition of lattice implication algebra is discussed.