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