关于蕴涵BCK—代数

本文讨论了蕴涵BCK—代数的剩余刻划．进一步证明了蕴涵BCK—代数的伴随半群是一个上半格。     

关于BCK—代数AF（B）

本文引入了AF（B）BCK-代数，讨论了BCK-代数B与BCK-代数AF（B）之间的几个关系。     

逻辑运算定律和公式—C、C＋＋和Java串讲之第四讲

上一讲中,我们已经以列表的形式,把所有的单目和双目逻辑联结词完备地列举出来了。正如在普通的数学运算中,本来可以建立无数的单目和双目运算符,但常用的无非是四则运算符一样,单目和双目逻辑联结词的个数虽然说是有限的,但是并不是都是常用的。表达的逻辑意义常用的,这个联结词当然也就是常用的。     

关于Hiblert—代数的两点注记

Ｄｉｅｇｏ在文「２」中提出了Ｈｉｌｂｅｒｔ代数的概念。本文讨论了Ｈｉｂｅｒｔ代数的若干性质,探讨了ＢＣＩ－代数与Ｈｉｂｅｒｔ代数之间的关系。     

关于具有条件（S）的BCK—代数的剩余半群

本文证明了具有条件（S）的BCK－代数的伴随半群是一个可换蕴涵半群，同时讨论了具有条件（S）的BCK－代数的理想与它的伴随半群的滤子之间的关系。     

关于一般二元运算和命题联结词运算结合律的几个问题

本文讨论了二元运算的结合律与元素的乘幂和逆元的关系,探讨了命题逻辑联结词运算的结合律,得到几个有意义的结果,拓展了当前离散数学教材中相应知识点的内容。