Kleene代数相关论文
中介逻辑是朱梧槚教授和肖奚安教授于二十世纪八十年代在基于中介原则(三种真值，即真、中、假)的基础上创立起来的。自创立至今，在语......
本文利用分明元等概念, 讨论了Kleene代数的直积分解, 得到了Kleene代数为既约的条件, 并在完备的条件下给出了Kleene代数有既约分......
