节点文献
有界关联BCK代数的性质与刻画
Properties of Bounded Incidence BCK Algebra
【摘要】 有界BCK代数是一个具有最大元和最小元的偏序集 ,是取值于偏序集上的逻辑蕴涵联结词的一种代数抽象 .在有界BCK代数和关联BCK代数概念的基础上 ,讨论了有界关联BCK代数的性质 ,给出了有界关联BCK代数的格刻画
【Abstract】 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.
【关键词】 有界BCK代数;
关联BCK代数;
格;
分配格;
【Key words】 bounded BCK algebra; incidence BCK algebra; lattice; distributive lattice;
【Key words】 bounded BCK algebra; incidence BCK algebra; lattice; distributive lattice;
【基金】 云南省教育厅自然科学基金(项目编号:0 2ZY111)
- 【文献出处】 昆明理工大学学报(理工版) ,Journal of Kunming University of Science and Technology , 编辑部邮箱 ,2004年04期
- 【分类号】O141
- 【被引频次】5
- 【下载频次】45