MARC状态:已编 文献类型:中文图书 浏览次数:63
- 题名/责任者:
- 泛逻辑学语构理论/罗敏霞, 何华灿著
- 出版发行项:
- 北京:科学出版社,2010
- ISBN及定价:
- 978-7-03-026348-3/CNY40.00
- 载体形态项:
- 170页:图;24cm
- 丛编项:
- 智能科学技术著作丛书
- 个人责任者:
- 罗敏霞 著
- 个人责任者:
- 何华灿 著
- 学科主题:
- 逻辑-研究
- 中图法分类号:
- B81
- 书目附注:
- 有书目 (第164-170页)
- 提要文摘附注:
- 主要研究几种逻辑系统的语构理论及泛逻辑、泛集合与相应代数的三位一体关系,为柔性推理提供一些新的逻辑框架和严格的数学保证。(1)对基本逻辑系统BL进行扩张,得到了模糊命题逻辑系统UBL,证明了形式系统UBL的完备性,并且证明了Lukasiewicz逻辑与Godel逻辑都是UBL逻辑的扩张。进一步研究了UBL逻辑的另一种扩张,并证明了它的完备性。(2)以泛逻辑一级泛与运算、泛或运算、泛蕴涵运算及一级非运算为运算模型,引入一种新的代数系统SUBL代数,以SUBL代数为语义,建立了模糊命题演算形式系统SUBL,并证明了形式系统SUBL的完备性。(3)建立泛逻辑在理想状态下的命题演算形式演绎系统B,证明了系统B的完备性。(4)探索泛逻辑、泛集合与相应代数的三位一体关系。初步证明了描述复杂事物的泛集合、泛逻辑和相应代数之间存在三位一体关系。
全部MARC细节信息>>