剩余半群相关论文
研究了一类特殊ＢＣＩ－代数Ｘ＝Ｐ（Ｘ）∨ＳＰ（Ｘ）及其伴随半群，讨论了它的一些性质，得出Ｍ（Ｘ）＝Ｍ（Ｐ（Ｘ））∨Ｍ（ＳＰ（Ｘ））．证明了Ｓ是Ｍ（Ｘ）的真理想的充要条件是Ｓ为Ｍ（ＳＰ（Ｘ））的真理想；Ｍ（Ｘ）是剩余半群的充要条件为Ｍ（Ｐ（Ｘ））是剩......
给出了蕴涵ＢＣＫ－代数的伴随半群作为剩余半群的若干特征，从半群的角度对这类ＢＣＫ－代数予以刻画，说明其伴随半群Ｍ（Ｘ）关于剩余运算“∶”作成一个蕴涵......
讨论了可剩余幺半群S中极大元的性质,并通过给出极大元的分支,对S中的元素进行了分类,建立了S上的同余等价关系,并给出了S的一种商......
文【3】给出了理想状态(广义相关系数h=0．5，广义自相关系数k=0.5)下泛逻辑的形式演绎系统B，证明了此系统是可靠的。该文提出理想状态......
本文讨论了正蕴涵节BCK－代数的乘余刻划。证明了具有条件（S）的正蕴涵BCK－代数的伴随半群是一个下半格。......
利用剩余的锥给出了剩余幺半群的偏序关系的一促刻划，得到剩余幺半群的商是偏序群的一个充要条件。......
本文讨论了剩余半群的一些性质,给出了偏序半群可剩余化的充要条件...
给出可换偏序幺么半群中元素的剩余周期的概念，证明在剩余幺半群中，幺元为最大元仅当半群中每个元素的剩余周期均为１；讨论了元素的剩余......
本文讨论BCI一代数X的N_k(x)、N(x)的性质。进一步给出它们的剩余刻划。...
本文证明了具有条件（S）的BCK－代数的伴随半群是一个可换蕴涵半群，同时讨论了具有条件（S）的BCK－代数的理想与它的伴随半群的滤子之间的关系......
从剩余半群的角度，探讨了正蕴涵BCK-代数的伴随半群的若干重要特征，给出了BCK-代数是正蕴涵的等价条件。......
讨论了具有条件（S）的BCK－代数的剩余刻划，另外给出了具有条件（S）的BCK－代数的伴随半群的一些性质。......
给出了蕴涵BCK-代数的伴随半群作为剩余半群时的若干特征, 并从剩余半群的角度对蕴涵BCK-代数进行了刻划.......
本文证明了Griss代数X作成正蕴涵且具有条件(S)的BCK一代数当且仅当X是正则的Griss代数;进一步给出了BCK一代数作成Griss代数的半......
