| 正结合演算 |
| |
| 引用本文： | 冯棉.正结合演算[J].逻辑学研究,2012(4):1-15. |
| |
| 作者姓名： | 冯棉 |
| |
| 作者单位： | 华东师范大学哲学系 |
| |
| 基金项目： | 教育部人文社会科学重点研究基地重大项目《结构推理及其应用研究》（10JJD720010）,国家社会科学基金《谓词逻辑与元逻辑研究》（11BZX063） |
| |
| 摘 要： | 从结构推理的观点来看，结合演算是一种很弱的逻辑，因为它仅容纳一种结构规则，即“结合规则”。正结合演算作为一种“正命题逻辑”，是结合演算的基础。本文构建了正结合演算结构推理系统BL和对应的公理系统B，阐述了结合演算拒斥“交换规则”、“收缩规则”和“弱化规则”的理论意义和应用价值，证明了系统BL和系统B的等价性。
|
| 关 键 词： | 结构推理 结构规则 结合演算 |
Positive Associative Calculus |
| |
| Mian Feng.Positive Associative Calculus[J].Studies in Logic,2012(4):1-15. |
| |
| Authors: | Mian Feng |
| |
| Institution: | Mian Feng( Department of Philosophy, East China Normal University) |
| |
| Abstract: | From the viewpoint of structural inference, associative calculus is a very weak logic, because it only contains one kind of structural rule, namely ＂associative rule＂. As a kind of positive propositional logic, positive associative calculus is the basis of associative calculus. This paper constructs structural reasoning system BL of positive associative calculus and its corresponding axiomatic system B, expounds theoretical significance and practical value of rejecting ＂commutative rule＂, ＂contraction rule＂ and ＂weakening rule＂ in the calculus, and proves that the system BL is equivalent to the system B. |
| |
| Keywords: | |
| 本文献已被 维普 等数据库收录！ |
