剩余半群相关论文
讨论了可剩余幺半群S中极大元的性质,并通过给出极大元的分支,对S中的元素进行了分类,建立了S上的同余等价关系,并给出了S的一种商......
文【3】给出了理想状态(广义相关系数h=0．5，广义自相关系数k=0.5)下泛逻辑的形式演绎系统B，证明了此系统是可靠的。该文提出理想状态......
本文证明了具有条件（S）的BCK－代数的伴随半群是一个可换蕴涵半群，同时讨论了具有条件（S）的BCK－代数的理想与它的伴随半群的滤子之间的关系......
给出了蕴涵BCK-代数的伴随半群作为剩余半群时的若干特征, 并从剩余半群的角度对蕴涵BCK-代数进行了刻划.......
本文证明了Griss代数X作成正蕴涵且具有条件(S)的BCK一代数当且仅当X是正则的Griss代数;进一步给出了BCK一代数作成Griss代数的半......
