半线性子结构逻辑的标准完备性（英文） 王三民 科学出版社 PDF电子教材 PDF电子书 大学教材电子版 电子课本 网盘下载【高清原版 非扫描版】（2020年）
《半线性子结构逻辑的标准完备性（英文）》王三民 科学出版社 PDF电子教材 PDF电子书 大学教材电子版 电子课本 网盘下载【高清原版 非扫描版】（2020年）
Standard Completeness for Semilinear Substructural Logics
图书简介：
本书系统阐述模糊逻辑标准完备性证明的各种方法和理论，为初学者尽可能多的提供理论和技术上的细节，使其能尽快进入这一课题的研究工作。特别地，较为详细的介绍了作者在这些方面所做的工作，对IUL完备性的证明进行了详细的论述，并针对主算法的最困难部分给出了实例,这在一般地论文写作是不可能的。
