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细节信息>>
北书院一楼