临界的传递逻辑——模态逻辑的濒表格性问题探究

全新正版现货

65.9 8.4折 78 全新

仅1件

四川成都

认证卖家担保交易快速发货售后保障

作者杜珊珊，康宏逵

出版社科学出版社

ISBN9787030530813

出版时间2018-04

装帧平装

开本128开

纸张胶版纸

定价78元

货号25148389

上书时间2024-07-01

已实名已认证进店收藏店铺

商品描述: 【内容】:　　本书详述传递的濒表格逻辑的判据及其应用，以及在此基础上所做的关于濒表格逻辑的若干研究结果，解决了传递逻辑格的濒表格性的语义判据，以及传递逻辑格的子格NExtQ4中濒表格逻辑族的基数、分类及公理化问题，展示了如何将已有的传递的濒表格逻辑的结果纳入本书提出的方法和视野。全书共分为三个部分——序篇、主篇和附录。序篇介绍了背景知识，回顾了传递的濒表格逻辑的研究发展史；主篇完整叙述了传递的濒表格逻辑的语义判据的证明、应用过程及其他相关的研究结果；附录给读者提供了备查的相关知识。

— 没有更多了 —