α—重言式相关论文
定义了非线性逻辑系统(-W)2,研究了(-W)2中的重言式及广义重言式,得到了若干与线性逻辑系统(-W)中相类似的结果.......
研究赋值格为非线性序，非运算—不同于Boole非运算，而蕴合算子→取Godel的RG的一种4值逻辑系统G24，得到一些结果，特别是，在G24中，α-MP规......
