中南民族大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

可能世界的名字/刘新文, 祝瑞著

出版发行项:

北京:中国社会科学出版社,2017

ISBN及定价:

978-7-5161-9962-6 精装/CNY48.00

载体形态项:

162页, [1] 叶图版:彩图;25cm

并列正题名:

Nominals of possible worlds

丛编项:

国家哲学社会科学成果文库.2016

个人责任者:

刘新文, 1972- 著

个人责任者:

祝瑞, 1988- 著

学科主题:

逻辑学

中图法分类号:

B81

相关题名附注:

英文并列题名取自封底

书目附注:

有书目 (第145-158页) 和索引

提要文摘附注:

本书比较全面研究了作为模态逻辑新分支的混合逻辑，这些研究对象是以这一族逻辑中的最小系统为主；在介绍可证性逻辑新阶段发展成果——核证逻辑的基础上，建立了混合的核证逻辑的最小系统，解决了国际著名逻辑学家Melvin Fitting在2010年提出的未解决问题。

豆瓣简介：