相干邏輯的三種語義解釋
摘要：基本正系統(tǒng)B+是若干相干邏輯正系統(tǒng)的基礎，通過添加新的公理模式就能在B+的基礎上得到一系列不同的相干邏輯正系統(tǒng)。Meyer和Routley（1972）以及Routley和Meyer（1972）分別給出了B+及其一系列擴充的代數(shù)語義和關系語義，Meyer和Routley（1972）還討論了這兩種語義之間的對應關系。本文中，我們將在引入周北海（1996a）、（1996b）中所創(chuàng)立的相干邏輯推理語義的基礎上，給出B+及其一系列擴充的推理語義解釋，并進一步討論相干邏輯正系統(tǒng)的推理語義與其他兩種語義解釋之間的對應關系問題。
注: 保護知識產(chǎn)權,如需閱讀全文請聯(lián)系邏輯學研究雜志社
相關推薦
更多代法學.jpg)
濟與政治.jpg)
