括號表示法是一種在形式語言中以括號來表示各種邏輯常項的符號表示方法。與已有的表示方法不同,它是一種整體表示法。以命題邏輯的形式語言為例,可以證明括號表示法的唯一性定理。在形式語言中,運用括號表示法表達的公式,其長度比用中置法表達的公式簡短。運用括號表示法改寫的一階邏輯自然推理系統(tǒng)非常簡潔。括號表示法為研究邏輯常項的推理結(jié)構(gòu)提供了一個非常良好的分析工具。 

【文章來源】：安徽大學學報(哲學社會科學版). 2019,43(03)北大核心CSSCI

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

【參考文獻】：
期刊論文
[1]不用聯(lián)結(jié)詞的“舍…取…”型自然推演系統(tǒng)[J]. 杜國平.  湖南科技大學學報(社會科學版). 2019(03)
[2]關(guān)于“不用聯(lián)結(jié)詞的邏輯系統(tǒng)”的注記[J]. 杜國平.  重慶理工大學學報(社會科學). 2019(04)
[3]哲思邏輯——一個形而上學內(nèi)容的公理體系[J]. 杜國平.  東南大學學報(哲學社會科學版). 2007(04)
[4]不用聯(lián)結(jié)詞和量詞的一階邏輯系統(tǒng)[J]. 張清宇.  哲學研究. 1996(05)
[5]不用聯(lián)結(jié)詞的經(jīng)典命題邏輯系統(tǒng)[J]. 張清宇.  哲學研究. 1995(05)



本文編號：3565241