ISBN/价格: | 978-7-5218-0664-9:CNY78.00 |
作品语种: | chi |
出版国别: | CN 110000 |
题名责任者项: | 非良基集、余代数与模态逻辑研究/.史璟著 |
出版发行项: | 北京:,经济科学出版社:,2019 |
载体形态项: | 245页:;+图:;+24cm |
一般附注: | 中央高校基本科研业务费专项资金资助项目 2010年国家社会科学基金项目“非良基集、余代数与模态逻辑研究”成果 |
相关题名附注: | 英文并列题名取自封面 |
提要文摘: | 本书是我国学术界第一部关于集合论、余代数与模态逻辑交叉研究的著作。首先,以非良基集合为语义结构对模态逻辑进行解释,研究模态逻辑在集合论语义下的对应理论、可定义性及表达力等问题,取得了一些新的研究成果,丰富了集合论理论和逻辑理论。其次,把余代数看做非良基集合的抽象数学模型,它作为对关系语义学的推广,着重研究余代数模态逻辑。 |
并列题名: | Non-well-founded sets, co-algebra and modal logic eng |
题名主题: | 模态逻辑 研究 |
索书号: | B815.1/S68 |
中图分类: | B815.1 |
个人名称等同: | 史璟, 著 |
记录来源: | CN 北京新华书店首都发行所有限公司 20191104 |