A NOTE ON LATTICE IMPLICATION ALGEBRAS

  • Zhu, Yiquan (DEPARTMENT OF MATHEMATICS, HUANGGANG NORMAL UNIVERSITY) ;
  • Tu, Wenbiao (DEPARTMENT OF MATHEMATICS, NANTONG NORMAL UNIVERSITY)
  • Published : 2001.02.01

Abstract

In this paper, a simple axiom system of lattice implication algebras is presented, it is convenient for verifying whether an algebra of type (2,2,2,1,0,0) becomes a lattice implication algebra.

References

  1. Bull. Korean Math. Soc. v.34 Implicative filters of lattice implication algebras Y.B.Jun
  2. Far East J. Sci. v.5 no.3 A uniform structure of lattice implication algebras Y.B.Jun;S.M.Hong
  3. BCK-Algebras M.Jen;Y.B.Jun
  4. Bull. Korean Math. Soc. v.35 no.1 LI-lattice implication algebras Y.B.Jun;E.H.Roh;Y.Xu
  5. J. of mathematical Research and Exposition v.4 no.4 On equational systems of the commutative BCK-algebra B.Y.Shen
  6. J. Southwest Jiaotong University v.28 no.1 Lattice implication algebras Y.Xu
  7. J. Fuzzy Math. v.2 On filters of lattice implication algebras Y.Xu;K.Y.Qin