摘要
有界BCK代数是一个具有最大元和最小元的偏序集 ,是取值于偏序集上的逻辑蕴涵联结词的一种代数抽象 .在有界BCK代数和关联BCK代数概念的基础上 ,讨论了有界关联BCK代数的性质 。
Bounded BCK algebra is a partially ordered set with the greatest element and the least element, which is a kind of algebraic abstraction of implicative connection of logic system that the value is in partially ordered set. some properties of bounded incidence BCK algebra are obtained, and the bounded incidence BCK algebra being a lattice is discussed.
出处
《昆明理工大学学报（理工版）》
2004年第4期231-233,共3页
Journal of Kunming University of Science and Technology(Natural Science Edition)
基金
云南省教育厅自然科学基金(项目编号:0 2ZY111)
关键词
有界BCK代数
关联BCK代数
格
分配格
bounded BCK algebra
incidence BCK algebra
lattice
distributive lattice
