Bulletin of the
Korean Mathematical Society
BKMS
ISSN(Print) 1015-8634
ISSN(Online) 2234-3016
Article
HOME
ALL ARTICLES
View
ALL ARTICLES
View
Bull. Korean Math. Soc. 2001; 38(1): 191-195
Printed March 1, 2001
Copyright © The Korean Mathematical Society.
A note on lattice implication algebras
Zhu Yiquan and Tu Wenbiao
Huanggang Normal University, Nantong Normal University
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
Article Tools
Stats or Metrics
Share this article on :
Related articles in BKMS
-
Implicative filters of lattice implication algebras
1997; 34(2): 193-198
-
Cogradients in fuzzy $BCK$-algebras
1999; 36(2): 343-349
-
On $f$-derivations of lattices
2008; 45(4): 701-707
-
Partial key exposure attacks on RSA and its variant by guessing a few bits of one of the prime factors
2009; 46(4): 721-741
© 2022. The Korean Mathematical Society. Powered by INFOrang Co., Ltd