Ｌａｔｔｉｃｅ－ＶａｌｕｅｄＰｒｏｐｏｓｉｔｉｏｎＬｏｇｉｃ（Ⅱ）ＱｉｎＫｅｙｕｎ；ＸｕＹａｎｇ（Ｄｅｐｔ．ｏｆＡｐｐｌ．Ｍａｔｈｅｍａｔｉｃｓ，ＳｏｕｔｈｗｅｓｔＪｉａｏｔｏｎｇＵｎｉｖｅｒｓｉｔｙ）Ｃｈｅｎｇｄｕ６１００３１，ＣｈｉｎａＬａｔｔｉ.........

Based on the direct product of Boolean algebra and Lukasiewicz algebra, six lattice-valued logic is put forward in this ......

In the present paper, the interval-valued (∈,∈∨q)-fuzzy LI-ideal theory in lattice implication algebras is further st......