定义了非线性逻辑系统(-W)2,研究了(-W)2中的重言式及广义重言式,得到了若干与线性逻辑系统(-W)中相类似的结果.......

引入一类特殊的公式序列Ａｋ，ｋ＝１，２，…，证明了在Ｌｕｋａｓｉｅｗｉｃｚ多值逻辑系统，对任意真值ａ∈Ｌｎ而言，可达ａ－重言式类类不空，进一步证明了系统中广义重言式的类类互异定理......