赋值格为非线性序的一种4值逻辑系统G_4~2

研究赋值格为非线性序，非运算不同于Ｂｏｏｌｅ的非运算，而蕴含算子→取Ｇｏｄｅｌ的ＲＧ的一种４值逻辑系统Ｇ２４，得到一些结果，特别是，在Ｇ２４中，α－ＭＰ规则（α＞０）都成立，Ｇ２４－重言式都是Ｃ２－重言式，所有的ＩＰＣ－定理皆是Ｇ２４－重言式，以及，一个公式是Ｇ２４－重言式，当且仅当它既是Ｇ２４－中的Ｉ－重言式，又是－Ｊ重言式。