正结合演算

发布时间：2018-04-29 04:43

  本文选题：结构推理 + 结构规则　； 参考：《逻辑学研究》2012年04期

【摘要】：从结构推理的观点来看,结合演算是一种很弱的逻辑,因为它仅容纳一种结构规则,即"结合规则"。正结合演算作为一种"正命题逻辑",是结合演算的基础。本文构建了正结合演算结构推理系统BL和对应的公理系统B,阐述了结合演算拒斥"交换规则"、"收缩规则"和"弱化规则"的理论意义和应用价值,证明了系统BL和系统B的等价性。
[Abstract]:From the point of view of structural reasoning, combinatorial calculus is a very weak logic because it contains only one kind of structural rule, that is, "associative rule". As a kind of positive propositional logic, positive combined calculus is the basis of combined calculus. In this paper, we construct the reasoning system BL and the corresponding axiom system B, and expound the theoretical significance and application value of the combined calculus rejecting "exchange rule", "contraction rule" and "weakening rule". The equivalence of system BL and system B is proved.
【作者单位】： 华东师范大学哲学系;
【基金】：教育部人文社会科学重点研究基地重大项目《结构推理及其应用研究》(10JJD720010) 国家社会科学基金《谓词逻辑与元逻辑研究》(11BZX063)
【分类号】：B812

【共引文献】

相关期刊论文 前2条

1 王婉玲;可能世界"概念在决策中的运用探讨[J];江西教育学院学报;2003年01期

2 桂起权，刘东波;对应原理─—多种非经典逻辑的通用原理[J];自然辩证法通讯;1994年03期

【相似文献】

相关期刊论文 前10条

1 冯棉;;一类命题逻辑的一般弱框架择类语义[J];逻辑学研究;2011年02期

2 ;[J];;年期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

相关会议论文 前1条

1 邹崇理;;从范畴语法到 Grail 的自动句法分析[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年

，

本文编号：1818467