卢卡西维茨的多值逻辑系统同标准逻辑一样，包括初始符号、形成规则、联结词的定义、推理规则、公理等。其公理系统中的定理推演方法跟命题演算中的定理推演方法完全一样。不过在他的多值逻辑系统中，命题的取值多了不定...
不详
|佛学论文|因明|五明|