论文部分内容阅读
本文基于中介命题逻辑的扩张系统ＭＰ之命题联结词含量的完全性结果，进上步证明了Ｌｕｋａｓｉｗｉｃｚ三值逻辑Ｌ３、Ｐｏｓｔ三值逻辑系统Ｐ３、Ｓｌｕｐｅｃｋｉ三值逻辑系统Ｓ３和Ｗｏｏｄｒｕｆｆ三值逻辑系统Ｗ３等的命题联结词的含量也是完全的，从而着眼于形式系统，可知ＭＰ、Ｌ３、Ｐ３、Ｓ３、Ｗ３的语言表达的能力也都是等效的，又若这些三值系统都是可靠的完备的，则可进上步证明这些三值系统立足于形式揄也都是互相等