修正的Kleene系统相关论文
本文是对修正的Kleene系统中广义重言式理论的推广,讨论了R0-代数[0,1]的各类无限子R0-代数中的广义重言式,证明了在子R0-代数E2中......
将修正的Kleene系统中的广义矛盾式理论进行推广，在R0代数[0，1]的各类无限子R0代数中的广义重言式的基础上讨论了广义矛盾式理论：（1）讨......
通过对模糊命题演算的形式演绎系统L*及修正的Kleene逻辑系统W,W,Wk的研究,给出了修正的Kleene系统中广义矛盾式之间的一种降级算......
将修正的Kleene系统中的广义重言式理论进行推广，讨论了其序稠密子代数的广义重言式理论，并利用可达广义重言式的概念在矿的序稠密子......
