| 巴坎公式和自由逻辑 |
| |
| 引用本文： | 周祯祥. 巴坎公式和自由逻辑[J]. 湖南科技大学学报(社会科学版), 2010, 13(4): 27-31 |
| |
| 作者姓名： | 周祯祥 |
| |
| 作者单位： | 华南师范大学,政治与行政学院,广东,广州,510631 |
| |
| 基金项目： | 教育部人文社会科学研究2008年度一般项目 |
| |
| 摘 要： | 在模态谓词逻辑语义学构建的过程中,巴坎公式扮演着重要的角色。以自由逻辑为基础的模态谓词逻辑是对经典模态谓词逻辑的改造。具有较好的柔韧性和宽容度,它可以容纳经典谓词逻辑。用自由逻辑系统解读巴坎公式,增加扩展公理和收缩公理,可以获得常域选择下的模态谓词逻辑。但这种逻辑仍有谜团需要我们去化解。
|
| 关 键 词： | 巴坎公式 自由逻辑 模态谓词逻辑 |
Barcan Formulas and Free Logic |
| |
| ZHOU Zhen-xiang. Barcan Formulas and Free Logic[J]. journal of hunan university of science&technology, 2010, 13(4): 27-31 |
| |
| Authors: | ZHOU Zhen-xiang |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
