|
题名:
|
谓词抽象研究 wei ci chou xiang yan jiu / 魏燕侠著 , |
|
ISBN:
|
978-7-5201-1173-7 价格： CNY59.00 |
|
语种:
|
chi |
|
载体形态:
|
213页 24cm |
|
出版发行:
|
出版地： 北京 出版社： 社会科学文献出版社 出版日期： 2017 |
|
内容提要:
|
本书通过引入谓词抽象这一具体的技术，突破了模态逻辑领域Herbrand定理研究的难题，从而为模态自动定理证明提供了理论基础。 |
|
主题词:
|
谓词逻辑 |
|
中图分类法:
|
O141.12 版次： 5 |
|
主要责任者:
|
魏燕侠 wei yan xia 著 |
|
附注:
|
华侨大学哲学社会科学学术著作专项资助计划资助 |
|
责任者附注:
|
魏燕侠，2008年获南开大学逻辑学博士学位，现为华侨大学哲学与社会发展学院副教授，研究方向为现代逻辑与逻辑哲学。2014年曾公派访学美国Iowa大学。主持了国家社科基金项目、教育部人文社会科学研究项目、福建省社会科学规划项目以及福建省教育厅A类人文社科研究项目等。 |
|
索书号:
|
O141.12/2135 |
|
索书号:
|
O141.12/2135 |