同类推荐
-
-
大白话讲透逻辑学
-
¥52.00
-
-
逻辑学有什么用:how to think like a…
-
¥49.80
-
-
逻辑学有什么用:how to think like a…
-
¥49.80
-
-
逻辑学有什么用:how to think like a…
-
¥49.80
-
-
MBA MPA MPAcc MEM管理类与经济类综合能…
-
¥99.80
-
-
管理类、经济类联考逻辑要点7讲
-
¥99.80
-
-
逻辑学教程
-
¥39.00
-
-
逻辑学基础教程
-
¥59.00
-
-
逻辑哲学论
-
¥39.80
-
-
他人的出场
-
¥168.00
|
|
图书信息
|
|
|
|
STIT逻辑的可判定性研究
|
| ISBN： | 9787208194700 |
定价： | ￥72.00 |
| 作者： | 张炎著 |
出版社： | 上海人民出版社 |
| 出版时间： | 2025年06月 |
开本： | 24cm |
| 页数： | 195页 |
中图法： | B81 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
北京人天书店有限公司
|
140
|
库区13/样本13
|
2026-04-22
|
|
|
|
|
|
图书简介 | | 本书主要研究的是与STIT逻辑相关的可判定性问题，证明了一系列可判定性结果，其中包括各种团体STIT逻辑的可判定性、STIT逻辑与其他逻辑相结合所得到的逻辑的可判定性。书中对STIT逻辑的可判定性进行了系统性的探讨，通过研究STIT算子与其他算子（如时间算子、知识算子等）结合后逻辑的判定问题，扩展了以往研究仅关注STIT算子的局限性，也为逻辑学领域中的STIT逻辑研究提供了新的视角和方法。 |
|