運用括號表示法來構(gòu)建4值邏輯,其形式語言非常簡潔,公式表達準確、無歧義,也更加簡短。使用符合4值邏輯推理直覺的16條推理規(guī)則,可以建立4值邏輯自然演繹系統(tǒng)PD4;基于4值語義可以證明該系統(tǒng)具有可靠性和完全性。通過語形、語義方法可以嚴格證明4值邏輯自然演繹系統(tǒng)PD4是經(jīng)典2值邏輯、盧卡西維茨3值邏輯以及一般3值邏輯系統(tǒng)的擴充。 

【文章來源】：湖北大學學報(哲學社會科學版). 2020,47(02)北大核心CSSCI

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

【參考文獻】：
期刊論文
[1]不用聯(lián)結(jié)詞的“舍…取…”型自然推演系統(tǒng)[J]. 杜國平.  湖南科技大學學報(社會科學版). 2019(03)
[2]基于括號表示法的一階邏輯系統(tǒng)[J]. 杜國平.  安徽大學學報(哲學社會科學版). 2019(03)
[3]關(guān)于“不用聯(lián)結(jié)詞的邏輯系統(tǒng)”的注記[J]. 杜國平.  重慶理工大學學報(社會科學). 2019(04)
[4]一類3值邏輯2元Sheffer函數(shù)[J]. 杜國平.  華南師范大學學報(社會科學版). 2016(01)
[5]3值邏輯與經(jīng)典2值邏輯關(guān)系探究[J]. 杜國平,傅慶芳.  安徽師范大學學報(人文社會科學版). 2012(06)
[6]MP*與各種命題聯(lián)結(jié)詞含量完全的三值邏輯在語言表達能力上的等效性研究[J]. 顧紅芳,白鵬,肖奚安,朱梧槚.  數(shù)學雜志. 2000(03)



本文編號：3099839