机读格式显示(MARC)

• 000 01733nam 2200349 450

• 001 0000338167

• 005 20100629093317.0

• 010 __ |a 978-7-03-026348-3 |d CNY40.00

• 099 __ |a CAL 012010026207

• 100 __ |a 20100205d2010 ekmy0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 泛逻辑学语构理论 |A fan luo ji xue yu gou li lun |f 罗敏霞, 何华灿著

• 210 __ |a 北京 |c 科学出版社 |d 2010

• 215 __ |a 170页 |c 图 |d 24cm

• 225 2_ |a 智能科学技术著作丛书 |A zhi neng ke xue ji shu zhu zuo cong shu

• 320 __ |a 有书目 (第164-170页)

• 330 __ |a 主要研究几种逻辑系统的语构理论及泛逻辑、泛集合与相应代数的三位一体关系，为柔性推理提供一些新的逻辑框架和严格的数学保证。（1）对基本逻辑系统BL进行扩张，得到了模糊命题逻辑系统UBL，证明了形式系统UBL的完备性，并且证明了Lukasiewicz逻辑与Godel逻辑都是UBL逻辑的扩张。进一步研究了UBL逻辑的另一种扩张，并证明了它的完备性。（2）以泛逻辑一级泛与运算、泛或运算、泛蕴涵运算及一级非运算为运算模型，引入一种新的代数系统SUBL代数，以SUBL代数为语义，建立了模糊命题演算形式系统SUBL，并证明了形式系统SUBL的完备性。（3）建立泛逻辑在理想状态下的命题演算形式演绎系统B，证明了系统B的完备性。（4）探索泛逻辑、泛集合与相应代数的三位一体关系。初步证明了描述复杂事物的泛集合、泛逻辑和相应代数之间存在三位一体关系。

• 410 _0 |1 2001 |a 智能科学技术著作丛书

• 606 0_ |a 逻辑 |A luo ji |x 研究

• 690 __ |a B81 |v 4

• 701 _0 |a 罗敏霞 |A luo min xia |4 著

• 701 _0 |a 何华灿 |A he hua can |4 著

• 801 _0 |a CN |b 北京新华书店首都发行所有限公司 |c 20100205

• 801 _2 |a CN |b SCNU |c 20100629

• 905 __ |a SCNU |f B81/6081

• 999 __ |M jiangy |m 20100629 09:33:17 |G jiangy |g 20100629 09:33:31

• 000 0000415748

• 991 __ |a 012010014699

• 907 __ |a SCNU |f B81/6081