本文選題：結(jié)構(gòu)推理 + 結(jié)構(gòu)規(guī)則　； 參考：《邏輯學(xué)研究》2012年04期

【摘要】：從結(jié)構(gòu)推理的觀點來看,結(jié)合演算是一種很弱的邏輯,因為它僅容納一種結(jié)構(gòu)規(guī)則,即"結(jié)合規(guī)則"。正結(jié)合演算作為一種"正命題邏輯",是結(jié)合演算的基礎(chǔ)。本文構(gòu)建了正結(jié)合演算結(jié)構(gòu)推理系統(tǒng)BL和對應(yīng)的公理系統(tǒng)B,闡述了結(jié)合演算拒斥"交換規(guī)則"、"收縮規(guī)則"和"弱化規(guī)則"的理論意義和應(yīng)用價值,證明了系統(tǒng)BL和系統(tǒng)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.
【作者單位】： 華東師范大學(xué)哲學(xué)系;
【基金】：教育部人文社會科學(xué)重點研究基地重大項目《結(jié)構(gòu)推理及其應(yīng)用研究》(10JJD720010) 國家社會科學(xué)基金《謂詞邏輯與元邏輯研究》(11BZX063)
【分類號】：B812

【共引文獻(xiàn)】

相關(guān)期刊論文 前2條

1 王婉玲;可能世界"概念在決策中的運用探討[J];江西教育學(xué)院學(xué)報;2003年01期

2 桂起權(quán)，劉東波;對應(yīng)原理─—多種非經(jīng)典邏輯的通用原理[J];自然辯證法通訊;1994年03期

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 馮棉;;一類命題邏輯的一般弱框架擇類語義[J];邏輯學(xué)研究;2011年02期

2 ;[J];;年期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

相關(guān)會議論文 前1條

1 鄒崇理;;從范疇語法到 Grail 的自動句法分析[A];第二屆海峽兩岸邏輯教學(xué)學(xué)術(shù)會議專輯[C];2006年

，

本文編號：1818467