论文部分内容阅读
本文基于中介命题逻辑的扩张系统MP之命题联结词含量的完全性结果,进上步证明了Lukasiwicz三值逻辑L3、Post三值逻辑系统P3、Slupecki三值逻辑系统S3和Woodruff三值逻辑系统W3等的命题联结词的含量也是完全的,从而着眼于形式系统,可知MP、L3、P3、S3、W3的语言表达的能力也都是等效的,又若这些三值系统都是可靠的完备的,则可进上步证明这些三值系统立足于形式揄也都是互相等