论文部分内容阅读
研究赋值格为非线性序，非运算—不同于Boole非运算，而蕴合算子→取Godel的RG的一种4值逻辑系统G24，得到一些结果，特别是，在G24中，α-MP规则(a>0)都成立，G24—重言式都是C24—重言式，所有的IPC—定理皆是G24—重言式，以及，一个公式是G24—重言式，当且仅当它既是G24—中的I—重言式，又是—J重言式，即