泛逻辑学语构理论

书籍简介:

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

书籍规格:

书籍信息归属:

泛逻辑学语构理论是科学出版社于2010.出版的中图分类号为 B81 的主题关于 逻辑－研究 的书籍。