發(fā)布時間：2017-08-22 07:20

  本文關(guān)鍵詞：常邏輯公式與可定義性

  更多相關(guān)文章： 模態(tài)邏輯 直覺主義邏輯 框架類 可定義

【摘要】：常邏輯公式是不含命題變元的邏輯公式,運用它們可以定義結(jié)構(gòu)類。但反過來某些結(jié)構(gòu)類卻不能以常邏輯公式集定義。模態(tài)邏輯中一階可定義的框架類可被常模態(tài)公式集定義的充分必要條件,是該框架類對滿射互模擬象、不相交并封閉,并且它的補類對超濾擴張封閉。有窮傳遞框架類相對可由常模態(tài)公式集定義的充分必要條件,是它對滿射互模擬象和不相交并封閉。這兩條定理中后一條可推廣至直覺主義邏輯。
【作者單位】： 西南大學邏輯與智能研究中心;
【關(guān)鍵詞】： 模態(tài)邏輯 直覺主義邏輯 框架類 可定義
【基金】：國家社科基金青年項目(12CZX054)
【分類號】：B812
【正文快照】： 古典模態(tài)邏輯理論有3個主要分支:可定義性理論、完全性理論和對偶理論[1]167-245。本文研究古典模態(tài)邏輯以及相關(guān)的直覺主義邏輯的可定義性理論。在國際邏輯學界多年來已產(chǎn)生的研究成果的基礎(chǔ)上,本文提出并解決模態(tài)框架類可被模態(tài)常邏輯公式集定義的刻畫問題,以及由此推廣至直

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 馬明輝;;常邏輯公式與可定義性[J];湖南科技大學學報(社會科學版);2013年06期

2 ;[J];;年期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

，

本文編號：717797