| 弗协调命题逻辑Cn的判定性问题 |
| |
| 引用本文： | 余俊伟.弗协调命题逻辑Cn的判定性问题[J].湖南科技大学学报(社会科学版),2008,11(4):27-29. |
| |
| 作者姓名： | 余俊伟 |
| |
| 作者单位： | 中国人民大学哲学院,北京,100872 |
| |
| 摘 要： | 弗协调逻辑,又译作"次协调逻辑"、"超协调逻辑",是非经典逻辑的一个新兴分支.它是一种不能从矛盾推出一切的逻辑理论.论文指出弗协调逻辑的代表系统Cn的可判定方法存在漏洞,并给出了一个修正办法.
|
| 关 键 词： | 弗协调逻辑 可判定性 拟真值表 超协调逻辑 命题逻辑 问题 修正办法 存在 判定方法 系统 代表 逻辑理论 分支 新兴 非经典逻辑 次协调逻辑 译作 弗协调逻辑 |
On the Decidability of Paraconsistent Propositional Logics Cn |
| |
| YU Jun-wei.On the Decidability of Paraconsistent Propositional Logics Cn[J].journal of hunan university of science&technology,2008,11(4):27-29. |
| |
| Authors: | YU Jun-wei |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
