中介逻辑是朱梧槚教授和肖奚安教授于二十世纪八十年代在基于中介原则(三种真值，即真、中、假)的基础上创立起来的。自创立至今，在语......

本文利用分明元等概念, 讨论了Kleene代数的直积分解, 得到了Kleene代数为既约的条件, 并在完备的条件下给出了Kleene代数有既约分......

Kleene代数在理论计算机科学中具有基础而特殊的重要性,Kleene模、布尔模和动态代数等与Kleene代数密切相关的半模结构在程序的语......

讨论了MP^M中介代数的一些性质，从而推导出一个引理，并且完善了《中介命题演算系统MP^M的代数系统》一文中2个定理的证明，并给出具体......

研究了Ｄｅ Ｍｏｒｇａｎ代数中的不动核的性质，特征，并且给出了Ｄｅ Ｍｏｒｇａｎ代数含有不动核的充分必要条件，同时又对不动核的个数问题做了进一步的讨论，得到了一......

利用自然数的整除理论首先研究自然数的约数集构成的Kleene代数的性质,由此得到了这种Kleene代数的分解定理,然后引入一种补运算使......

Kleene代数在计算机科学中具有基础而特殊的重要性。在计算机工程应用中，Kleene代数及相关＋-半环已被成功应用于基础安全分析、底层......

Kleene代数在计算机科学中具有基础而特殊的重要性。在计算机工程应用中，Kleene代数及相关＊-半环已被成功应用于基础安全分析、底层......

讨论了DeMorgan代数的分解、余积 ,极大同态象及各种表示 ,对DeMorgan代数的同余关系进行了系统的考察 ,给出了DeMorgan代数在逻辑......