中图网(原中国图书网):网上书店,中文字幕在线一区二区三区,尾货特色书店,中文字幕在线一区,30万种特价书低至2折!

歡迎光臨中圖網(wǎng) 請 | 注冊
> >>
正規(guī)多模態(tài)邏輯研究

包郵 正規(guī)多模態(tài)邏輯研究

作者:趙賢
出版社:科學出版社出版時間:2024-05-01
開本: B5 頁數(shù): 206
本類榜單:哲學/宗教銷量榜
中 圖 價:¥66.7(6.8折) 定價  ¥98.0 登錄后可看到會員價
加入購物車 收藏
開年大促, 全場包郵
?新疆、西藏除外
本類五星書更多>

正規(guī)多模態(tài)邏輯研究 版權信息

  • ISBN:9787030782397
  • 條形碼:9787030782397 ; 978-7-03-078239-7
  • 裝幀:平裝
  • 冊數(shù):暫無
  • 重量:暫無
  • 所屬分類:>>

正規(guī)多模態(tài)邏輯研究 內(nèi)容簡介

模態(tài)邏輯是現(xiàn)代邏輯研究的重要領域,多模態(tài)邏輯則是模態(tài)邏輯研究的前沿領域。多模態(tài)邏輯是包含兩種或兩種以上模態(tài)算子的模態(tài)邏輯系統(tǒng),且算子之間不可規(guī)約,它是模態(tài)邏輯的重要組成部分。本書以模態(tài)交互作用公理為視角,構建了多模態(tài)邏輯一般系統(tǒng),為形式化研究各種類型的模態(tài)提供了一般的邏輯框架;證明了多模態(tài)邏輯一般系統(tǒng)的接近性、對應性、可判定性等元邏輯問題的一般性結論;揭示了多模態(tài)邏輯的哲學背景及其解題功能,論述了多模態(tài)邏輯在哲學中的應用價值。

正規(guī)多模態(tài)邏輯研究 目錄

前言 **章 導論1 **節(jié) 多模態(tài)邏輯概述1 第二節(jié) 多模態(tài)邏輯的主要研究內(nèi)容9 第三節(jié) 多模態(tài)邏輯的研究現(xiàn)狀19 第四節(jié) 本書結構與主要工作38 第二章 正規(guī)多模態(tài)邏輯的形式系統(tǒng)43 **節(jié) 多模態(tài)語言43 第二節(jié) 公理系統(tǒng)和公理模式59 第三節(jié) 多模態(tài)邏輯的公理化與可分離性76 第三章 正規(guī)多模態(tài)邏輯的語義84 **節(jié) 語義基礎——可能世界語義學84 第二節(jié) 語義工具——二元關系理論94 第三節(jié) 多模態(tài)邏輯的框架及模型102 第四章 正規(guī)多模態(tài)邏輯的對應性110 **節(jié) 對應問題概述110 第二節(jié) 正規(guī)多模態(tài)邏輯系統(tǒng)的對應性115 第三節(jié) 關系方程表述的對應性121 第五章 正規(guī)多模態(tài)邏輯的決定性129 **節(jié) 決定性問題概述129 第二節(jié) 典范多關系模型132 第三節(jié) Sahlqvist系統(tǒng)及其特例的決定性136 第四節(jié) 基于決定性的多模態(tài)邏輯系統(tǒng)的分離標準146 第六章 正規(guī)多模態(tài)邏輯的可判定性149 **節(jié) 可判定性問題概述149 第二節(jié) 過濾150 第三節(jié) 基于有窮模型性質(zhì)的可判定性159 第七章 正規(guī)多模態(tài)邏輯的哲學應用164 **節(jié) 哲學概念的相互定義165 第二節(jié) 哲學概念的相互作用175 第三節(jié) 哲學討論中的多模態(tài)邏輯系統(tǒng)178 參考文獻186
展開全部

正規(guī)多模態(tài)邏輯研究 作者簡介

學術論文"多模態(tài)邏輯的研究動因及意義"獲河北省第十五屆社會科學優(yōu)秀成果三等獎(排名第一),參與完成項目"達米特與戴維森語言哲學思想比較研究"獲河北省第九屆社會科學基金項目優(yōu)秀成果三等獎(排名第二)。主持完成項目"多模態(tài)邏輯及其應用功能研究"獲保定市第二屆哲學社會科學規(guī)劃課題優(yōu)秀成果一等獎(排名第一)。

商品評論(0條)
暫無評論……
書友推薦
本類暢銷
編輯推薦
返回頂部
中圖網(wǎng)
在線客服
主站蜘蛛池模板: 萃取箱-萃取槽-PVC萃取箱厂家-混合澄清槽- 杭州南方化工设备 | LED灯杆屏_LED广告机_户外LED广告机_智慧灯杆_智慧路灯-太龙智显科技(深圳)有限公司 | 贵州科比特-防雷公司厂家提供贵州防雷工程,防雷检测,防雷接地,防雷设备价格,防雷产品报价服务-贵州防雷检测公司 | 等离子表面处理机-等离子表面活化机-真空等离子清洗机-深圳市东信高科自动化设备有限公司 | 可程式恒温恒湿试验箱|恒温恒湿箱|恒温恒湿试验箱|恒温恒湿老化试验箱|高低温试验箱价格报价-广东德瑞检测设备有限公司 | 纯化水设备-纯水设备-超纯水设备-[大鹏水处理]纯水设备一站式服务商-东莞市大鹏水处理科技有限公司 | 合肥注册公司|合肥代办营业执照、2024注册公司流程 | 济南网站建设|济南建网站|济南网站建设公司【济南腾飞网络】【荐】 | 冷柜风机-冰柜电机-罩极电机-外转子风机-EC直流电机厂家-杭州金久电器有限公司 | 轴承振动测量仪电箱-轴承测振动仪器-测试仪厂家-杭州居易电气 | 耐酸泵,耐腐蚀真空泵,耐酸真空泵-淄博华舜耐腐蚀真空泵有限公司 精密模具-双色注塑模具加工-深圳铭洋宇通 | 天津拓展_天津团建_天津趣味运动会_天津活动策划公司-天津华天拓展培训中心 | 手持式线材张力计-套帽式风量罩-深圳市欧亚精密仪器有限公司 | 鄂泉泵业官网|(杭州、上海、全国畅销)大流量防汛排涝泵-LW立式排污泵 | 高博医疗集团上海阿特蒙医院 | 聚丙烯酰胺_厂家_价格-河南唐达净水材料有限公司 | 防渗膜厂家|养殖防渗膜|水产养殖防渗膜-泰安佳路通工程材料有限公司 | 耐磨陶瓷管道_除渣器厂家-淄博浩瀚陶瓷科技有限公司 | 耐驰泵阀管件制造-耐驰泵阀科技(天津)有限公司 | RTO换向阀_VOC高温阀门_加热炉切断阀_双偏心软密封蝶阀_煤气蝶阀_提升阀-湖北霍科德阀门有限公司 | ★店家乐|服装销售管理软件|服装店收银系统|内衣店鞋店进销存软件|连锁店管理软件|收银软件手机版|会员管理系统-手机版,云版,App | 石油/泥浆/不锈钢防腐/砂泵/抽砂泵/砂砾泵/吸砂泵/压滤机泵 - 专业石油环保专用泵厂家 | 国产液相色谱仪-超高效液相色谱仪厂家-上海伍丰科学仪器有限公司 | 齿式联轴器-弹性联轴器-联轴器厂家-江苏诺兴传动联轴器制造有限公司 | 微妙网,专业的动画师、特效师、CG模型设计师网站! - wmiao.com 超声波电磁流量计-液位计-孔板流量计-料位计-江苏信仪自动化仪表有限公司 | 塑料熔指仪-塑料熔融指数仪-熔体流动速率试验机-广东宏拓仪器科技有限公司 | 写方案网_方案策划方案模板下载 事迹材料_个人事迹名人励志故事 | 测试治具|过炉治具|过锡炉治具|工装夹具|测试夹具|允睿自动化设备 | 物流之家新闻网-最新物流新闻|物流资讯|物流政策|物流网-匡匡奈斯物流科技 | 爱德华真空泵油/罗茨泵维修,爱发科-比其尔产品供应东莞/杭州/上海等全国各地 | 耐高温风管_耐高温软管_食品级软管_吸尘管_钢丝软管_卫生级软管_塑料波纹管-东莞市鑫翔宇软管有限公司 | 超声波清洗机_细胞破碎仪_实验室超声仪器_恒温水浴-广东洁盟深那仪器 | 软瓷_柔性面砖_软瓷砖_柔性石材_MCM软瓷厂家_湖北博悦佳软瓷 | 物流之家新闻网-最新物流新闻|物流资讯|物流政策|物流网-匡匡奈斯物流科技 | HDPE土工膜,复合土工膜,防渗膜价格,土工膜厂家-山东新路通工程材料有限公司 | 机器视觉检测系统-视觉检测系统-机器视觉系统-ccd检测系统-视觉控制器-视控一体机 -海克易邦 | 水平垂直燃烧试验仪-灼热丝试验仪-漏电起痕试验仪-针焰试验仪-塑料材料燃烧检测设备-IP防水试验机 | 爆破器材运输车|烟花爆竹运输车|1-9类危险品厢式运输车|湖北江南专用特种汽车有限公司 | 生物颗粒燃烧机-生物质燃烧机-热风炉-生物颗粒蒸汽发生器-丽水市久凯能源设备有限公司 | 成都装修公司-成都装修设计公司推荐-成都朗煜装饰公司 | 蜘蛛车-高空作业平台-升降机-高空作业车租赁-臂式伸缩臂叉装车-登高车出租厂家 - 普雷斯特机械设备(北京)有限公司 |