書單推薦
更多
新書推薦
更多

可容忍沖突的信念邏輯研究

可容忍沖突的信念邏輯研究

定  價(jià):58 元

        

  • 作者:郝旭東著
  • 出版時(shí)間:2025/1/1
  • ISBN:9787559878601
  • 出 版 社:廣西師范大學(xué)出版社
  • 中圖法分類:B815 
  • 頁碼:240頁
  • 紙張:
  • 版次:
  • 開本:23cm
9
7
8
8
7
7
8
5
6
5
0
9
1
本書第一章主要介紹弗協(xié)調(diào)和弗完全邏輯概況,使讀者可以初步了解弗協(xié)調(diào)和弗完全邏輯的基本思想及其發(fā)展情況。第二章給出簡化的弗協(xié)調(diào)命題邏輯系統(tǒng)Cn(1≤n<ω)的簡化系統(tǒng)C1,以此為基礎(chǔ),通過邏輯擴(kuò)充的方式給出弗協(xié)調(diào)信念邏輯系統(tǒng),并證明其可靠性、完全性等。第三章給出弗協(xié)調(diào)命題邏輯系統(tǒng)P1;針對(duì)現(xiàn)有的弗完全邏輯沒有給出必要的內(nèi)定理和元定理的缺陷,本書對(duì)弗完全邏輯補(bǔ)充了必要的內(nèi)定理,證明了其可靠性和完全性;針對(duì)弗完全邏輯的賦值定義設(shè)計(jì)了其擬真值表的判定方法,從而表明了其公式是否有效的可判定性;然后,將之進(jìn)行邏輯擴(kuò)充得到了弗完全信念邏輯系統(tǒng),并證明了元定理。第四章深入探討了弗協(xié)調(diào)邏輯到底有沒有對(duì)矛盾律構(gòu)成否定的問題,并從邏輯基礎(chǔ)的角度探討了弗協(xié)調(diào)和弗完全信念邏輯在容忍信念沖突中的作用。
 你還可能感興趣
 我要評(píng)論
您的姓名   驗(yàn)證碼: 圖片看不清?點(diǎn)擊重新得到驗(yàn)證碼
留言內(nèi)容