Kleene代数相关论文
中介逻辑是朱梧槚教授和肖奚安教授于二十世纪八十年代在基于中介原则(三种真值，即真、中、假)的基础上创立起来的。自创立至今，在语......
本文利用分明元等概念, 讨论了Kleene代数的直积分解, 得到了Kleene代数为既约的条件, 并在完备的条件下给出了Kleene代数有既约分......
Kleene代数在理论计算机科学中具有基础而特殊的重要性,Kleene模、布尔模和动态代数等与Kleene代数密切相关的半模结构在程序的语......
讨论了MP^M中介代数的一些性质，从而推导出一个引理，并且完善了《中介命题演算系统MP^M的代数系统》一文中2个定理的证明，并给出具体......
利用自然数的整除理论首先研究自然数的约数集构成的Kleene代数的性质,由此得到了这种Kleene代数的分解定理,然后引入一种补运算使......
Kleene代数在计算机科学中具有基础而特殊的重要性。在计算机工程应用中，Kleene代数及相关＋-半环已被成功应用于基础安全分析、底层......
Kleene代数在计算机科学中具有基础而特殊的重要性。在计算机工程应用中，Kleene代数及相关＊-半环已被成功应用于基础安全分析、底层......
