A note on lattice implication algebras
Bull. Korean Math. Soc. 2001 Vol. 38, No. 1, 191-195
Zhu Yiquan and Tu Wenbiao
Huanggang Normal University, Nantong Normal University
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.
Keywords : lattice, lattice implication algebra, axiom system, $BCK$-algebra
MSC numbers : 03G10, 06B10, 54E15
Downloads: Full-text PDF  

Copyright © Korean Mathematical Society. All Rights Reserved.
The Korea Science Technology Center (Rm. 411), 22, Teheran-ro 7-gil, Gangnam-gu, Seoul 06130, Korea
Tel: 82-2-565-0361  | Fax: 82-2-565-0364  | E-mail: paper@kms.or.kr   | Powered by INFOrang Co., Ltd