论文部分内容阅读
考虑了Kleene蕴涵算子的导出算子的三值逻辑系统I3和n值逻辑系统In(n>3).首先,给出I3的真值表,证明了I3是二值逻辑系统C2的推广.其次,讨论了I3中的重言式与IPC公理之间以及I3中的准重言式与C2中的重言式之间的关系.接着,考虑了In中的子代数.最后,考虑了不同逻辑系统In中的重言式之间的关系.