本文關(guān)鍵詞：模態(tài)系統(tǒng)T的Herbrand定理

  更多相關(guān)文章： 模態(tài)系統(tǒng)T Herbrand定理 加標(biāo)公式表列系統(tǒng)

【摘要】：模態(tài)Herbrand定理研究是模態(tài)邏輯領(lǐng)域的重要開放問題。不含Barcan公式的模態(tài)系統(tǒng)T的Herbrand定理的獲得必須完成兩個(gè)方向的證明工作:首先是證明相對(duì)簡(jiǎn)單的從右到左方向;而對(duì)于相對(duì)復(fù)雜的從左到右方向,則可以通過在加標(biāo)公式表列系統(tǒng)K的基礎(chǔ)上增加特殊規(guī)則獲得加標(biāo)公式表列系統(tǒng)T,證明T的可靠性和完全性,并在此基礎(chǔ)上完成從左到右方向的證明。同樣的方法還可以用來證明模態(tài)系統(tǒng)D、K4、S4的Herbrand定理。
【作者單位】： 華僑大學(xué)哲學(xué)與社會(huì)發(fā)展學(xué)院;廈門大學(xué)哲學(xué)系;
【關(guān)鍵詞】： 模態(tài)系統(tǒng)T Herbrand定理 加標(biāo)公式表列系統(tǒng)
【基金】：福建省社會(huì)科學(xué)規(guī)劃項(xiàng)目“謂詞抽象研究”(2009B2051)
【分類號(hào)】：B815.1
【正文快照】： Herbrand定理在經(jīng)典邏輯中地位顯赫,它是機(jī)器定理證明的核心定理,為人工智能提供了理論基礎(chǔ)。[1]然而,Herbrand定理的影響力仍主要停留在經(jīng)典邏輯的范圍內(nèi),模態(tài)Herbrand定理研究是模態(tài)邏輯領(lǐng)域的重要開放問題。如果能夠?qū)崿F(xiàn)模態(tài)Herbrand定理的證明,那必將為模態(tài)定理的機(jī)器證，

本文編號(hào)：1094160