模態(tài)邏輯GL的基于廣義謝弗豎的分析性模態(tài)公理系統(tǒng)（英文）
作者：唐芳芳 中國社會科學院馬克思主義研究院
摘要：基于廣義謝弗豎這種新算子,本文構(gòu)造了模態(tài)邏輯GL的模態(tài)表列和分析性模態(tài)公理系統(tǒng)。廣義謝弗豎是一種n元算子,為模態(tài)邏輯的表達式提供一種新記法,使分析性模態(tài)公理系統(tǒng)的陳述直接明了。由于謝弗豎是一種新算子,基于它的模態(tài)表列規(guī)則與通常的基于模態(tài)詞和聯(lián)結(jié)詞的表列規(guī)則有所不同。分析性模態(tài)公理系統(tǒng)中的內(nèi)定理證明很簡單。因為分析性模態(tài)公理系統(tǒng)與模態(tài)表列之間存在某種對應關(guān)系,所以GL的分析性模態(tài)公理系統(tǒng)的完全性由GL的模態(tài)表列的完全性結(jié)果易證。GL的模態(tài)系統(tǒng)的完全性證明比較特殊,無法直接應用證明模態(tài)邏輯完全性的一般方法——典范模型方法,需要用一種過濾的方法挑出一些可能世界構(gòu)造有窮模型。
注：因版權(quán)方要求，不能公開全文，如需全文，請咨詢雜志社。
中山大學學報論叢雜志
中山大學學報論叢雜志， 月刊，本刊重視學術(shù)導向，堅持科學性、學術(shù)性、先進性、創(chuàng)新性，刊載內(nèi)容涉及的欄目：研究報告、文獻綜述、簡報等。于1981年經(jīng)新聞總署批準的正規(guī)刊物。
- 部級期刊
- 1個月內(nèi)審核
