BCK代数相关论文
非经典逻辑是模糊推理及模糊控制等理论基础的一部分。近年来，模糊控制技术在应用方面取得了举世瞩目的成功．然而，作为其核心的模糊推......
梁希泉教授研究方向是微分拓扑学,他是我国数学、数学问题计算机证明等方面的专家,也是国际Mizar-Group的重要成员之一,近10年来,......
引进了BCK代数的一种新的扩张方法--极大元扩张法,使得其他扩张法,如拟交错扩张法、有界BCK代数的Iseki扩张,都是极大元扩张法的特......
将Zadeh提出的区间值模糊集概念应用于理想化软BCK代数问题的研究。借助于BCK代数的区间值模糊理想、区间值（∈,∈∨q）-模糊理想和区......
提出了软BCK代数的概念，研究了软BCK代数的并，交和乘积运算，讨论了这些运算的代数性质。......
给出了软BCK代数的广义交运算和广义并运算,证明了一个集合X上的一族软BCK代数{（Fi,Ai）}i∈I的广义交和一族软BCK代数{（Fi,Ai）}i∈I（对......
将Zadeh提出的区间值模糊集的概念应用于BCK代数，提出BCK代数的区间值（∈，∈vq）模糊子代数的概念并研究其性质。给出了区间值模糊集成......
系统研究Fuzzy蕴涵代数与BCK代数之间的关系,给出MV代数与BCK代数之间的联系,建立正则FI代数和对合BCK代数的对偶代数.......
研究BCK代数的逻辑性质,对于形式化的BCK代数理论T,证明了在子模型和链连接下T是保存的;T既不具有完备性也不具有模型完备性,因此......
给出了BCK代数的一个等价公理,讨论了BCK代数的伴随代数....
本文探讨了粗糙集代数与BCK代数的关系以及由粗糙集代数构造BCK代数的方法,并证明了在选取适当的运算后,粗糙集代数就能够转变为BC......
运用模糊点的概念研究BCK代数的模糊理想等一些基本概念和性质，建立它与利用隶属函数和水平截集等常见刻画方式之间的关系。......
引入关联BCK代数的P滤子、I滤子及BFI滤子的概念,并得到了一些重要的结论....
Heyting代数是作为直觉主义命题的代数模型而引进的，而BCK代数是日本数学家于1966年引入的代数。讨论了Heyting代数与BCK代数之间的......
文献「１」讨论了Ｆｕｚｚｙ蕴涵代数中蕴涵代数裼 关系，本文进一步讨论了ＦＩ代数与有界关联ＢＣＫ代数、关联半群的联系，并应用ＦＩ代数方法简化了ＢＣ九中某些定......
讨论正则FI代数的若干性质.在研究FI代数与Boole代数间关系的同时,给出正则FI代数与BCK代数的另一种联系方式.......
