|
|||||
|
|
| 正结合演算 | |
| 引用本文： | 冯棉.正结合演算[J].中山大学学报论丛,2012,5(4). |
| 作者姓名： | 冯棉 |
| 作者单位： | 华东师范大学哲学系 |
| 基金项目： | 教育部人文社会科学重点研究基地重大项目《结构推理及其应用研究》，国家社会科学基金《谓词逻辑与元逻辑研究》 |
| 摘 要： | 从结构推理的观点来看，结合演算是一种很弱的逻辑，因为它仅容纳一种结构规则，即“结合规则”。正结合演算作为一种“正命题逻辑”，是结合演算的基础。本文构建了正结合演算结构推理系统BL和对应的公理系统B，阐述了结合演算拒斥“交换规则”、“收缩规则”和“弱化规则”的理论意义和应用价值，证明了系统BL和系统B的等价性。 |
| 关 键 词： | 结构推理 结构规则 结合演算 |
Positive Associative Calculus |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |