论文部分内容阅读
将修正的Kleene系统中的广义矛盾式理论进行推广，在R0代数[0，1]的各类无限子R0代数中的广义重言式的基础上讨论了广义矛盾式理论：（1）讨论了一般子R0代数的广义矛盾式；（2）根据聚点性态的不同将无限子R0代数作了分类，并在各类无限子R0代数中讨论了广义矛盾式，进而在相应的子R0代数中给出了公式集F（S）的一种划分；（3）证明了在子R0代数易中，L^＊中存在着可数多个不同的广义矛盾式．