- 作 者：霍书全著
- 出 版 社：北京：科学出版社
- 出版年份：2009
- ISBN：9787030232472
- 标注页数：171 页
- PDF页数：179 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源179 ≥171页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
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