论集合、逻辑和代数的三位一体关系

摘要：

本文首先根据描述清晰事物的经典集合、经典逻辑和Lindenbaum代数足三位一体的同构关系的事实，猜想在描述复杂事物的泛集合、泛逻辑和泛代数之间也存在这种三位一体关系。然后作为研究的基础，建立了部分代数系统之间的层次关系，并给出了与之同构的逻辑系统。最后利用泛逻辑学中关于线序柔性命题逻辑学的研究成果，部分证实了上述猜想。

关键词： 泛集合 泛逻辑 泛代数 同构关系 柔性逻辑学

作者: 何华灿 罗敏霞

作者单位: 西北工业大学计算机学院 710072

会议类型: 国内会议

会议名称: 中国人工智能学会第10届全国学术年会

会议地点: 广州

会议语种:中文

页码: 161-166

在线出版日期: 2003-09-21（万方平台首次上网日期，不代表论文的发表时间）