Proper Implication Lattices and Well Implication Lattices
Xiaohong Zhang · Mohu xitong yu shuxue · 2010
The properties and structure of implication lattices are investigated. The classification of implication lattices with 8(and lower) orders is solved by Mathematica programs,and some mistakes of references are pointed out.Moreover,the notions of locally finite implication lattice and sub-associative implication lattice are introduced,some properties of them are discussed,and the following result is proved: every locally finite implication lattice is well implication lattice.