Can I read 模糊逻辑及其代数分析 on EtoBox?

模糊逻辑及其代数分析 by 张小红著 is a book available to read on EtoBox.

What is 模糊逻辑及其代数分析 about?

封面 1 书名 3 版权 4 前言 5 目录 7 第1章 引言与预备知识 12 1.1引言 12 1.1.1关于狭义模糊逻辑、广义模糊逻辑与多值逻辑 12 1.1.2关于Elkan的“西瓜问题” 13 1.1.3关于代数逻辑(algebraic logic) 14 1.1.4近年国内外模糊逻辑基础研究综述 14 1.2序与格 18 1.2.1偏序集 18 1.2.2保序映射、剩余映射与序同构 20 1.2.3格及其理想(滤子) 22 1.3布尔代数及其各种推广 25 1.3.1布尔代数、Ockham代数与De Morgan代数 25 1.3.2伪补与Heyting格(代数) 27 1.4序代数与泛代数基本知识 29 1.4.1序半群与格序半群 29 1.4.2泛代数入门 31 1.5经典命题逻辑的代数分析 34 1.5.1经典命题逻辑的语义理论 34 1.5.2经典命题逻辑的语构理论 36 习题1 39 第2章 t-模、伪t-模与剩余格 41 2.1 t-模 41 2.1.1 t-模的定义及其连续性 41 2.1.2 t-模的代数性质 46 2.1.3与t-模相伴的剩余蕴涵 49 2.2可换剩余格 52 2.2.1可换格序剩余幺半群 52 2.2.2可换剩余格及其滤子 54 2.2.3可换剩余格的素滤子与格素滤子 58 2.3伪t-模 61 2.3.1伪t-模的基本概念 62 2.3.2伪Rot-模 64 2.4剩余格 67 2.4.1格序剩余幺半群 67 2.4.2剩余格及其滤子 69 习题2 72 第3章 可换模糊逻辑系统BL与? 73 3.1基本模糊逻辑系统BL 73 3.1.1基本定义和结论 73 3.1.2 BL-代数及系统BL的完备性 76 3.2逻辑系统BL的各种扩张 77 3.2.1 Lukasiewicz逻辑系统 Luk及G?del逻辑系统G 77 3.2.2乘积逻辑系统П及严格基本逻辑系统SBL 80 3.3逻辑系统BL的标准完备性 83 3.3.1 BL-链的序数和 84 3.3.2饱和BL-链(saturated BL-chain) 86 3.3.3饱和不可约BL-链(saturated and irreducible BL-chain) 88 3.3.4部分嵌入与标准完备性 92 3.4模糊逻辑系统? 95 3.4.1 Ro-代数及其完备性 95 3.4.2形式演算系统?*的语义和语构理论 98 习题3 100 第4章 基于左连续t-模的模糊逻辑系统MTL与UL 101 4.1模糊逻辑系统MTL 101 4.1.1形式系统MTL与系统IMTL/WNM/NM 101 4.1.2 MTL-代数及系统MTL的完备性 104 4.2系统MTL的标准完备性 106 4.2.1全序MTL-代数的嵌入性质 106 4.2.

Author

张小红著

Publisher

北京:科学出版社

Published

2008

Language

ZH

ISBN

9787030221452