当前位置:首页 > 名称
大约有6,000项符合查询结果项。(搜索耗时:0.0245秒)
为您推荐: 矩阵理论及其应用 流体力学基础及其工程应用 核医学诊断设备及其应用 线性代数及其应用 演化博弈动力学及其应用 python数据分析与应用
-
-
-
-
模态与本质 一个逻辑哲学的研究进路 【哲学宗教】
张力锋著2014 年出版218 页ISBN:9787516151280本书为国家社科基金后期资助项目,项目批准号11FZX007。本书以“本质主义”和“可能世界”相关的哲学问题为中心,深入探讨了模态逻辑的主要哲学问题,在此基础上提出了诸如“新的模态逻辑实在论”和“个体起源和...
-
分次模态语言的模型论 【哲学宗教】
马明辉著2012 年出版195 页ISBN:9787030343925本著作是国家社科基地西南大学逻辑与智能研究中心教育部重大课题攻关项目“现代归纳逻辑的创新功能与应用以及认知基础”(05JZD0008)的研究成果之一。本书把经典逻辑的这些结果推广到分次模态逻辑,所展现的主...
-
-
-
-
-
临界的传递逻辑 模态逻辑的濒表格性问题探究 【哲学宗教】
杜珊珊,康宏逵著2017 年出版244 页ISBN:9787030530813图书回顾了传递的濒表格逻辑的研究发展历史,叙述了传递的濒表格逻辑判据的证明、应用过程,试图解决传递逻辑的濒表格性的判据问题和大格的子格NExtQ4中濒表格逻辑族的基数、分类及公理化问题。本书可供从事模...