10.3969/j.issn.1001-7402.2005.01.003
Kleene蕴涵算子的导出算子的n值逻辑系统In
考虑了Kleene蕴涵算子的导出算子的三值逻辑系统I3和n值逻辑系统In(n>3).首先,给出I3的真值表,证明了I3是二值逻辑系统C2的推广.其次,讨论了I3中的重言式与IPC公理之间以及I3中的准重言式与C2中的重言式之间的关系.接着,考虑了In中的子代数.最后,考虑了不同逻辑系统In中的重言式之间的关系.
Kleene蕴涵算子、Kleene蕴涵算子的导出算子、n值逻辑系统In、准重言式、重言式
19
O159.1;O141.1(代数、数论、组合理论)
中国科学院资助项目60474023;高等学校博士学科点专项科研项目20020027013;教育部科学技术基金03184;国家重点基础研究发展计划973计划2002CB312200
2005-05-19(万方平台首次上网日期,不代表论文的发表时间)
共4页
18-21