注冊(cè) | 登錄讀書(shū)好,好讀書(shū),讀好書(shū)!
讀書(shū)網(wǎng)-DuShu.com
當(dāng)前位置: 首頁(yè)出版圖書(shū)人文社科哲學(xué)邏輯學(xué)(論理學(xué))分次模態(tài)語(yǔ)言的模型論

分次模態(tài)語(yǔ)言的模型論

分次模態(tài)語(yǔ)言的模型論

定 價(jià):¥45.00

作 者: 馬明輝 著
出版社: 科學(xué)出版社
叢編項(xiàng):
標(biāo) 簽: 邏輯學(xué)

購(gòu)買(mǎi)這本書(shū)可以去


ISBN: 9787030343925 出版時(shí)間: 2012-07-01 包裝: 平裝
開(kāi)本: 16開(kāi) 頁(yè)數(shù): 194 字?jǐn)?shù):  

內(nèi)容簡(jiǎn)介

  《分次模態(tài)語(yǔ)言的模型論》是國(guó)家社科基地西南大學(xué)邏輯與智能研究中心教育部重大課題攻關(guān)項(xiàng)目“現(xiàn)代歸納邏輯的創(chuàng)新功能與應(yīng)用以及認(rèn)知基礎(chǔ)”(05JZD0008)的研究成果之一。本書(shū)把經(jīng)典邏輯的這些結(jié)果推廣到分次模態(tài)邏輯,所展現(xiàn)的主要技術(shù)性結(jié)論都是新成果。該書(shū)可能需要的對(duì)象:高等院校哲學(xué)系或數(shù)學(xué)系邏輯教學(xué)和研究單位,全國(guó)社會(huì)科學(xué)和自然科學(xué)研究機(jī)構(gòu)中邏輯分支機(jī)構(gòu),全國(guó)高等院校和研究機(jī)構(gòu)的圖書(shū)館。讀者面向研究和學(xué)習(xí)模態(tài)邏輯的專家學(xué)者和研究生。

作者簡(jiǎn)介

暫缺《分次模態(tài)語(yǔ)言的模型論》作者簡(jiǎn)介

圖書(shū)目錄

總序
前言
導(dǎo)論
第1章 計(jì)數(shù)模態(tài)語(yǔ)言
第2章 分次模態(tài)語(yǔ)言的關(guān)系語(yǔ)義學(xué)
第3章 分次模態(tài)余代數(shù)
第4章 公理系統(tǒng)和完全性
第5章 余代數(shù)對(duì)應(yīng)理論
第6章 有限模型性質(zhì)
第7章 公式的分類
第8章 分次模態(tài)邏輯的擴(kuò)張
參考文獻(xiàn)
附錄A 模型論與泛代數(shù)
附錄B 基本模態(tài)邏輯
附錄C 余代數(shù)理論
后記

本目錄推薦

掃描二維碼
Copyright ? 讀書(shū)網(wǎng) www.autoforsalebyowners.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號(hào) 鄂公網(wǎng)安備 42010302001612號(hào)