基本信息
内容简介
目录
《现代数学基础丛书》序
第二版前言
第一版前言
第1章 预备知识
1.1 泛代数中的预备知识
1.2 经典命题演算理论
第2章 多值逻辑的语义理论
2.1 引言
2.2 赋值格上的蕴涵算子
2.3 几种三值逻辑系统
2.4 一般多值逻辑系统
2.5 Σ-（α-重言式）理论
第3章 命题演算的形式系统∥
3.1 Fuzzy推理与Fuzzy逻辑
3.2 命题演算的形式演绎系统E*
3.3 E*-indenbaum代数与R。-代数
第4章 够中的语义理论与Fuzzy推理的逻辑基础
4.1 E*的语义与可靠性定理
4.2 E*中另一类三_重言式
4.3 Fuzzy推理的CR1算法
第二版前言
第一版前言
第1章 预备知识
1.1 泛代数中的预备知识
1.2 经典命题演算理论
第2章 多值逻辑的语义理论
2.1 引言
2.2 赋值格上的蕴涵算子
2.3 几种三值逻辑系统
2.4 一般多值逻辑系统
2.5 Σ-（α-重言式）理论
第3章 命题演算的形式系统∥
3.1 Fuzzy推理与Fuzzy逻辑
3.2 命题演算的形式演绎系统E*
3.3 E*-indenbaum代数与R。-代数
第4章 够中的语义理论与Fuzzy推理的逻辑基础
4.1 E*的语义与可靠性定理
4.2 E*中另一类三_重言式
4.3 Fuzzy推理的CR1算法
书摘
第1章 预备知识
本章介绍阅读本书所需的预备知识。熟悉代数学和经典命题逻辑的读者可以跳过本章，从第2章开始。
在1.1节中介绍关于泛代数方面的一些知识。泛代数的内容十分丰富，而我们只需要其中关于自由代数的知识。希望尽快接触多值逻辑内容的读者也可略去1.1节，而仅仅阅读它的最后一段，即关于自由代数的通俗解释部分。
在1.2节中介绍经典命题逻辑。除了在介绍紧性时用到滤子及超滤的概念外，其余部分是自封的。即使未接触过数理逻辑的读者也可以毫无困难地读完这一部分。为了避免通常对完备性定理的繁冗的证明，我们给出了较易理解的基于范式以及可证等价概念的证明方法。
……
本章介绍阅读本书所需的预备知识。熟悉代数学和经典命题逻辑的读者可以跳过本章，从第2章开始。
在1.1节中介绍关于泛代数方面的一些知识。泛代数的内容十分丰富，而我们只需要其中关于自由代数的知识。希望尽快接触多值逻辑内容的读者也可略去1.1节，而仅仅阅读它的最后一段，即关于自由代数的通俗解释部分。
在1.2节中介绍经典命题逻辑。除了在介绍紧性时用到滤子及超滤的概念外，其余部分是自封的。即使未接触过数理逻辑的读者也可以毫无困难地读完这一部分。为了避免通常对完备性定理的繁冗的证明，我们给出了较易理解的基于范式以及可证等价概念的证明方法。
……
