|
|||||
|
|
| 基于Gdel蕴涵算子的导出算子的n值逻辑系统 | |
| 作者单位： | 淮南师范学院数学系，陕西师范大学计算机科学学院 安徽淮南232001，陕西师范大学数学与信息科学学院，陕西西安710062，陕西西安710062 |
| 摘 要： | 讨论剩余类蕴涵算子之一Gdel蕴涵算子的导出算子的三值系统G3和n值逻辑系统Gn(n>3).给出了G3的真值表,它是C2真值表的扩充,也保持MP规则和正则性.讨论了G3中的重言式(tautology)与IPC(intuitionistic propositional calculus)公理之间的关系以及G3的准重言式与C2的重言式之间的关系.考虑了Gn中的子代数及不同逻辑系统Gn中重言式的比较. |
| 关 键 词： | Gdel蕴涵算子 Gdel蕴涵算子的导出算子G3 重言式 n值逻辑系统Gn |
| 本文献已被 CNKI 等数据库收录！ | |