多值逻辑的理论和方法 非规范多值逻辑研究PDF电子书下载

1导论 1

1.1多值逻辑思想简史 1

1.2经典多值逻辑的语义 7

1.2.1Lukasiewicz三值逻辑的语义 7

1.2.2Post逻辑的语义解释 10

1.2.3Kleene三值逻辑及其语义 12

1.2.4Bochvar逻辑及语义 14

1.3鞠实儿的开放类逻辑 16

1.3.1开放类与知识处理 16

1.3.2Hume问题与开放类的逻辑特征 17

1.3.3SLO形式公理系统 18

2多值逻辑联结词及其判定问题 21

2.1预备知识和基本概念 21

2.1.1预备知识 21

2.1.2真值集 26

2.1.3基本概念 28

2.2多值逻辑的几类主要联结词 31

2.2.1正规的多值逻辑的几类联结词 31

2.2.2几种非正规的多值逻辑 46

2.3函数完备性问题 49

2.3.1函数完备性问题的几个主要定理 50

2.3.2不完备的多值联结词的判定 54

3多值逻辑的公理化、系统化 69

3.1一个函数完备的m值逻辑系统 73

3.2一个函数完备的三值逻辑系统 86

3.3L*的一阶谓词逻辑系统 91

3.3.1公理模式 97

3.3.2推理规则 97

4多值逻辑的代数语义 109

4.1几种多值逻辑的代数 110

4.1.1Moisil代数和Post代数 110

4.1.2MV代数 119

4.1.3L*公理系统的代数性质 121

4.1.4L*代数与三值Post代数的关系 128

4.2抽象代数逻辑方法 129

4.2.1逻辑、矩阵和代数的基本概念 132

4.2.2Frege原则和Lindenbaum-Tarski方法的推广 138

4.2.3抽象代数逻辑的核心理论 143

参考文献 160

会议论文集 170