掃一掃
關(guān)注中圖網(wǎng)
官方微博
本類五星書更多>
-
>
道德經(jīng)說什么
-
>
電商勇氣三部曲:被討厭的勇氣+幸福的勇氣+不完美的勇氣2
-
>
新時期宗教工作與管理
-
>
帛書道德經(jīng)
-
>
傳習錄
-
>
齊奧朗作品·苦論
-
>
無障礙閱讀典藏版:莊子全書
買過本商品的人還買了
分次模態(tài)語言的模型論 版權(quán)信息
- ISBN：9787030343925
- 條形碼：9787030343925 ; 978-7-03-034392-5
- 裝幀：一般膠版紙
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>>
分次模態(tài)語言的模型論 本書特色
近年來，余代數(shù)理論的發(fā)展為研究分次模態(tài)邏輯提供了相當有力的工具(參見《模態(tài)邏輯手冊》中由魏訥瑪(Yde Venema)撰寫的綜述性文章)。可以定義一種特殊的余代數(shù)為語義結(jié)構(gòu)，解釋分次模態(tài)算子。這使得關(guān)于分次模態(tài)邏輯的完全性、可定義性以及代數(shù)語義等方面的技術(shù)性研究變得可行了。本書即是在這種背景下完成的。從余代數(shù)的角度看，分次模態(tài)邏輯是一種非常典型的余代數(shù)模態(tài)邏輯。《分次模態(tài)語言的模型論》由馬明輝著，本書的目標之一，就是以分次模態(tài)余代數(shù)為語義結(jié)構(gòu)，研究分次模態(tài)邏輯的一些邏輯性質(zhì)，包括可定義性、完全性、有窮余代數(shù)模型性質(zhì)等。
分次模態(tài)語言的模型論 內(nèi)容簡介
本著作是國家社科基地西南大學邏輯與智能研究中心教育部重大課題攻關(guān)項目“現(xiàn)代歸納邏輯的創(chuàng)新功能與應用以及認知基礎”（05JZD0008）的研究成果之一。本書把經(jīng)典邏輯的這些結(jié)果推廣到分次模態(tài)邏輯，所展現(xiàn)的主要技術(shù)性結(jié)論都是新成果。該書可能需要的對象：高等院校哲學系或數(shù)學系邏輯教學和研究單位，全國社會科學和自然科學研究機構(gòu)中邏輯分支機構(gòu)，全國高等院校和研究機構(gòu)的圖書館。讀者面向研究和學習模態(tài)邏輯的專家學者和研究生。
分次模態(tài)語言的模型論 目錄
總序前言導論第1章 計數(shù)模態(tài)語言 1.1 模態(tài)邏輯的語義視角 1.2 計數(shù)模態(tài)語言 1.3 構(gòu)造模型和框架的基本方法 1.4 分次模態(tài)邏輯第2章 分次模態(tài)語言的關(guān)系語義學 2.1 模型和框架構(gòu)造 2.2 分次超濾擴張與飽和 2.3 模型和框架可定義性 2.4 范本特姆一羅森刻畫定理 2.5 GMl和FOl(C)之間的框架對應第3章 分次模態(tài)余代數(shù) 3.1 分次模態(tài)語言的余代數(shù)語義 3.2 分次模態(tài)代數(shù) 3.3 分次模態(tài)代數(shù)與余代數(shù)之間的對偶 3.4 有限余代數(shù)和余代數(shù)模型的
展開全部
書友推薦
- >
伯納黛特,你要去哪(2021新版)
- >
中國歷史的瞬間
- >
中國人在烏蘇里邊疆區(qū):歷史與人類學概述
- >
羅曼·羅蘭讀書隨筆-精裝
- >
伊索寓言-世界文學名著典藏-全譯本
- >
煙與鏡
- >
月亮與六便士
- >
巴金－再思錄
本類暢銷
