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

歡迎光臨中圖網 請 | 注冊
> >>
正規多模態邏輯研究

包郵 正規多模態邏輯研究

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

正規多模態邏輯研究 版權信息

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

正規多模態邏輯研究 內容簡介

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

正規多模態邏輯研究 目錄

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

正規多模態邏輯研究 作者簡介

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

商品評論(0條)
暫無評論……
書友推薦
本類暢銷
編輯推薦
返回頂部
中圖網
在線客服
主站蜘蛛池模板: 自进式锚杆-自钻式中空注浆锚杆-洛阳恒诺锚固锚杆生产厂家 | 隔离变压器-伺服变压器--输入输出电抗器-深圳市德而沃电气有限公司 | vr安全体验馆|交通安全|工地安全|禁毒|消防|安全教育体验馆|安全体验教室-贝森德(深圳)科技 | 酸度计_PH计_特斯拉计-西安云仪 纯水电导率测定仪-万用气体检测仪-低钠测定仪-米沃奇科技(北京)有限公司www.milwaukeeinst.cn | 球形钽粉_球形钨粉_纳米粉末_难熔金属粉末-广东银纳官网 | 武汉EPS线条_EPS装饰线条_EPS构件_湖北博欧EPS线条厂家 | 选矿设备-新型重选设备-金属矿尾矿重选-青州冠诚重工机械有限公司 | 日本细胞免疫疗法_肿瘤免疫治疗_NK细胞疗法 - 免疫密码 | 车辆定位管理系统_汽车GPS系统_车载北斗系统 - 朗致物联 | UV固化机_UVLED光固化机_UV干燥机生产厂家-上海冠顶公司专业生产UV固化机设备 | 智慧食堂_食堂管理系统_食堂订餐_食堂消费系统—客易捷 | 小型高低温循环试验箱-可程式高低温湿热交变试验箱-东莞市拓德环境测试设备有限公司 | 广东健伦体育发展有限公司-体育工程配套及销售运动器材的体育用品服务商 | 二手注塑机回收_旧注塑机回收_二手注塑机买卖 - 大鑫二手注塑机 二手光谱仪维修-德国OBLF光谱仪|进口斯派克光谱仪-热电ARL光谱仪-意大利GNR光谱仪-永晖检测 | 柔软云母板-硬质-水位计云母片组件-首页-武汉长丰云母绝缘材料有限公司 | 骨龄仪_骨龄检测仪_儿童骨龄测试仪_品牌生产厂家【品源医疗】 | 通信天线厂家_室分八木天线_对数周期天线_天线加工厂_林创天线源头厂家 | 滚筒线,链板线,总装线,流水线-上海体能机电有限公司 | 成都茶楼装修公司 - 会所设计/KTV装修 - 成都朗煜装饰公司 | 莱州网络公司|莱州网站建设|莱州网站优化|莱州阿里巴巴-莱州唯佳网络科技有限公司 | 超声波清洗机_大型超声波清洗机_工业超声波清洗设备-洁盟清洗设备 | 贵州成人高考网_贵州成考网| 鲁网 - 山东省重点新闻网站,山东第一财经门户 | 塑料脸盆批发,塑料盆生产厂家,临沂塑料广告盆,临沂家用塑料盆-临沂市永顺塑业 | 珠海白蚁防治_珠海灭鼠_珠海杀虫灭鼠_珠海灭蟑螂_珠海酒店消杀_珠海工厂杀虫灭鼠_立净虫控防治服务有限公司 | 机房监控|动环监控|动力环境监控系统方案产品定制厂家 - 迈世OMARA | 数年网路-免费在线工具您的在线工具箱-shuyear.com | 高低温万能试验机_拉力试验机_拉伸试验机-馥勒仪器科技(上海)有限公司 | 玻纤土工格栅_钢塑格栅_PP焊接_单双向塑料土工格栅_复合防裂布厂家_山东大庚工程材料科技有限公司 | 亿立分板机_曲线_锯片式_走刀_在线式全自动_铣刀_在线V槽分板机-杭州亿协智能装备有限公司 | 120kv/2mA直流高压发生器-60kv/2mA-30kva/50kv工频耐压试验装置-旭明电工 | 求是网 - 思想建党 理论强党 | 土壤养分检测仪|土壤水分|土壤紧实度测定仪|土壤墒情监测系统-土壤仪器网 | 【中联邦】增稠剂_增稠粉_水性增稠剂_涂料增稠剂_工业增稠剂生产厂家 | CNC机加工-数控加工-精密零件加工-ISO认证厂家-鑫创盟 | 一体化隔油提升设备-餐饮油水分离器-餐厨垃圾处理设备-隔油池-盐城金球环保产业发展有限公司 | 鄂泉泵业官网|(杭州、上海、全国畅销)大流量防汛排涝泵-LW立式排污泵 | 至顶网 | 脑钠肽-白介素4|白介素8试剂盒-研域(上海)化学试剂有限公司 | 档案密集架_电动密集架_移动密集架_辽宁档案密集架-盛隆柜业厂家现货批发销售价格公道 | 酒万铺-酒水招商-酒水代理|