格值模型的超积基本定理被引量：11

原文传递

导出

摘要近年来,由于公理集合论中布尔值模型的应用,模糊数学中非布尔值逻辑的出现,以及计算机科学中多值线路的探讨等等,使得多值逻辑的研究有了更多的具体背景及客观需要。本工作是对于多值逻辑的一个方面——多值模型论的一些初步考查。

作者王世强卢景波

机构地区北京师范大学数学系

出处《科学通报》 1981年第2期71-74,共4页 Chinese Science Bulletin

关键词模糊数学超积基本定理格值模型多值逻辑

同被引文献49

1袁学海.直觉模糊集的范畴[J].辽宁师范大学学报（自然科学版）,1993,16(2):99-103. 被引量：2
2汤建钢.L-fuzzy群范畴中的乘积运算[J].模糊系统与数学,1993,7(1):62-70. 被引量：31
3应明生.不分明拓扑中的一种覆盖式紧性[J].数学学报（中文版）,1994,37(6):852-856. 被引量：5
4YANGWan-cai LIXiao-shen.Category of Generalized Intuitionistic Fuzzy Sets[J].Chinese Quarterly Journal of Mathematics,2005,20(2):192-199. 被引量：1
5沈恩绍.模型论逻辑与理论计算机科学[J].数学进展,1996,25(3):193-202. 被引量：10
6谢惠扬,王捍贫.(Q)格值模型论的紧致性定理[J].安徽师大学报,1996,19(1):12-16. 被引量：1
7王世强.格值模型论中的省略型定理[J].数学学报,1982,25:202-207.
8王世强.格值模型论中紧致性定理的一种证法[J].北京大学学报：自然科学版,1980,46(3):25-30.
9沈复兴.格值模型论的初等扩充与初等链[J].科学通报,1982,27:264-266.
10KEISLER H J.Logic with the quantifier "There Exist Uncountable Many"[J].Ann Math Logic,1970,1:1-93.

1谢惠扬,王捍贫.(Q)格值模型论的紧致性定理[J].安徽师大学报,1996,19(1):12-16. 被引量：1
2汤建钢.Zermelo—Flaenkel公理集合理论的格值模型[J].伊犁师范学院学报（社会科学版）,1997,0(S1):1-14. 被引量：1
3高百俊,汤建钢.L集合范畴的子对象分类子[J].伊犁师范学院学报（自然科学版）,2009,3(2):1-5.
4梁娟英,陈国龙.L(Q)格值模型的完全弱理论[J].淮北煤炭师范学院学报（自然科学版）,2010,31(2):1-4.
5王捍贫,谢惠扬.(Q)格值模型的省略型定理[J].北京大学学报（自然科学版）,1999,35(3):409-413. 被引量：1
6谢惠扬,王捍贫.（Q）格值模型的超积基本定理[J].大学数学,1995,16(4):13-14. 被引量：1
7汤建钢,汤娟.模糊集层次结构的本质刻画[J].模糊系统与数学,2013,27(4):1-5. 被引量：4
8王世强.TWO CASES OF APPLICATION OF THE METHOD OF CONSTRUCTION BY CONSTANTS IN LATTICE-VALUED MODEL THEORY[J].Chinese Science Bulletin,1981,26(7):581-584.
9童雪.一阶格值逻辑上的Mostowski定理[J].华北电力大学学报（自然科学版）,2003,30(2):100-102.
10邱道文.基于完备剩余格值逻辑的自动机理论——Ⅱ.可逆性及同态[J].中国科学（E辑）,2003,33(4):340-349. 被引量：10

科学通报

1981年第2期

内容加载中请稍等...