《半線性子結構邏輯的標準完備性（英文）》是2020年科學出版社出版的圖書，作者是王三民。
基本介紹
- 中文名：半線性子結構邏輯的標準完備性（英文）
- 作者：王三民
- 出版社：科學出版社
- ISBN：9787030668769
內容簡介,圖書目錄,
內容簡介
本書系統闡述模糊邏輯標準完備性證明的各種方法和理論，為初學者儘可能多的提供理論和技術上的細節，使其能儘快進入這一課題的研究工作。特別地，較為詳細的介紹了作者在這些方面所做的工作，對IUL完備性的證明進行了詳細的論述，並針對主算法的最困難部分給出了實例,這在一般地論文寫作是不可能的。
圖書目錄
- Preface
- Chapter 1 Introduction
- Chapter 2 The Logic HpsUL* and Its Chain Completeness
- Chapter 7 Standard Completeness for IUL
- Chapter 9 Two Big Examples for Separation Algorithms
- Bibliography
1.3.5 Communication with editors and colleagues
3.1 The logic MTL and MTL-algebras
3.2 Standard completeness for MTL
3.3 Standard completeness for IMTL
4.1 New extensions of HpsUL* and new algebras
4.2 Structures X on HpsUL*-chains
4.3 Standard completeness for CnIUL and IULw
4.4 A proof of associativity of in X for IUL
5.1 Standard completeness and the density rule
5.2 Hypersequent calculi
5.3 Cut-elimination
5.4 Density elimination
6.1 Introduction
6.2 Proof of the Main theorem: A computational example
6.3 Preprocessing of proof tree
6.4 The generalized density rule (D) for GL
6.5 Extraction of elimination rules
8.1 Introduction
8.2 GpsUL** and its cut-elimination
8.3 GpsUL and its generalized density rule (D)
8.4 Density elimination for GpsUL*
