基本正系統(tǒng)B₊是若干相干邏輯正系統(tǒng)的基礎(chǔ),通過添加新的公理模式就能在B₊的基礎(chǔ)上得到一系列不同的相干邏輯正系統(tǒng)。Meyer和Routley（1972）以及Routley和Meyer（1972）分別給出了B₊及其一系列擴充的代數(shù)語義和關(guān)系語義,Meyer和Routley（1972）還討論了這兩種語義之間的對應(yīng)關(guān)系。本文中,我們將在引入周北海（1996a）、（1996b）中所創(chuàng)立的相干邏輯推理語義的基礎(chǔ)上,給出B₊及其一系列擴充的推理語義解釋,并進一步討論相干邏輯正系統(tǒng)的推理語義與其他兩種語義解釋之間的對應(yīng)關(guān)系問題。 

【文章來源】：邏輯學(xué)研究. 2018,11(03)CSSCI

【文章頁數(shù)】：14 頁

【文章目錄】：
1 相干邏輯系統(tǒng)B+以及B+的擴充
2 B+以及其擴充的三種語義解釋
    2.1 代數(shù)語義:
    2.2 關(guān)系語義:
    2.3 推理語義:
3 三種語義框架之間的對應(yīng)關(guān)系
4 B+及其擴充所對應(yīng)的語義假設(shè)
5 結(jié)語


【參考文獻】：
期刊論文
[1]相干邏輯關(guān)系語義的推理解釋[J]. 周北海,賈青.  邏輯學(xué)研究. 2015(01)



本文編號：3216296