|
题名:
|
Standard completeness for semilinear substructural logics / 王三民 , |
|
ISBN:
|
978-7-03-066876-9 价格： CNY138.00 |
|
语种:
|
eng |
|
载体形态:
|
257页 24cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2020 |
|
内容提要:
|
本书系统阐述模糊逻辑标准完备性证明的各种方法和理论, 为初学者尽可能多的提供理论和技术上的细节, 使其能尽快进入这一课题的研究工作。特别地, 较为详细的介绍了作者在这些方面所做的工作, 对IUL完备性的证明进行了详细的论述, 并针对主算法的最困难部分给出了实例, 这在一般地论文写作是不可能的。 |
|
主题词:
|
半线性 子结构法 |
|
中图分类法:
|
O241.82 版次： 5 |
|
主要责任者:
|
王三民 著 |