- 作 者：张家锋著
- 出 版 社：成都：西南交通大学出版社
- 出版年份：2017
- ISBN：9787564357351
- 标注页数：175 页
- PDF页数：183 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源183 ≥175页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
第1章 绪论 1
1.1 形成本书的学术背景 1
1.2 国内外研究现状 3
1.3 本书的主要内容 15
第2章 预备知识 17
2.1 格蕴涵代数和格值命题逻辑系统简介 17
2.2 格值一阶逻辑系统LF（X）中的公式及其解释 20
2.3 语言真值格蕴涵代数简介 22
第3章 格值逻辑系统中广义文字的α-归结性 24
3.1 格值命题逻辑系统中的α-归结与α-归结演绎 25
3.2 格值命题逻辑系统（？n×？2）P（X）中0-IESF的α-归结性 27
3.3 格值命题逻辑系统（？n×？2）P（X）中1-IESF的α-归结性 37
3.4 格值命题逻辑系统（？n×？2）P（X）中2-IESF的α-归结性 42
第4章 格值逻辑系统的α-语义归结自动推理 47
4.1 基于命题变元和形如x→b广义文字的α-语义归结方法 48
4.2 基于命题变元和形如x→（x→b）广义文字的α-语义归结 54
4.3 LP（X）中基于形如C＊？ x的广义子句的α-语义归结方法 66
4.4 LP（X）中基于一类广义子句集的α-语义归结方法 69
4.5 语言真值格值命题逻辑？V（n×2）P（X）中的α-语义归结 73
4.6 格值一阶逻辑系统LF（X）中的α-语义归结方法 83
4.7 语言真值格值一阶逻辑？V（n×2）F（X）中的α-语义归结 89
第5章 格值逻辑系统的α-广义语义归结自动推理 97
5.1 格值命题逻辑系统LP（X）的α-广义归结 98
5.2 格值命题逻辑系统LP（X）的α-广义语义归结方法 99
5.3 语言真值格值命题逻辑？V（n×2））P（X）的α-广义语义归结 104
5.4 格值一阶逻辑系统LF（X）中的α-广义语义归结方法 113
5.5 语言真值格值一阶逻辑？V（n×2）F（X）的α-广义语义归结 118
第6章 格值逻辑系统中归结方法的相容性 127
6.1 格值一阶逻辑LF（X）中α-语义归结方法与删除策略的相容性 127
6.2 格值一阶逻辑中α-广义语义归结方法与广义删除策略的相容性 134
6.3 LF（X）中α-广义归结和支撑集归结的相容性 138
参考文献 147
附录 162