论文部分内容阅读
讨论了剩余类蕴涵算子之一Lukasiewicz蕴涵算子的导出算子的三值系统L3和n值逻辑系统Ln（n〉3），首先给出了L3的真值表，它是C2真值表的扩充，它也保持MP规则和正则性，接下来讨论了b中的重言式（tautology）与IPC（inmitionistic propositional calculus）公理之间的关系以及L3的准重言式与C2的重吉式之间的关系。最后考虑了Ln中的予代数及不同逻辑系统Ln中重言式的比较。