16种基础R_0-代数结构的相对独立公理系统  

16 Relatively Independent Axiom System of Basis R_0-algebra

作　　者：乔希民[1,2] 吴洪博[2] 罗俊丽[1] 

机构地区：[1]商洛学院数学与计算科学系,陕西商洛726000 [2]陕西师范大学数学与信息科学学院,陕西西安710062

出　　处：《模糊系统与数学》2012年第6期14-20,共7页Fuzzy Systems and Mathematics

基　　金：陕西省教育厅科研计划项目(11JK0512)

摘　　要：在对R0-代数和基础R0-代数结构研究的基础上,讨论了基础R0-代数结构与并(交)半格及有界并(交)半格上的等价性命题系统,进而证明了16种基础R0-代数公理系统的相对独立性,同时指出了相应R0-代数结构的公理系统的相对独立性。In this paper, based on the studies of R0-algebra and basis R0-algebra, we discussed proposition systems which are equivalences of basis R0-algebra and V- （A-）semi-lattice and bounded V-（ A-）semilattice. Finally, relatively independent of these 16 basis R0-algebra axiom systems are proved. At the same time, the independence of axiom system in R0-algebra is pointed out.

关 键 词：模糊代数 基础R0-代数结构 并(交)半格 公理化系统 相对独立性 

分 类 号：O141[理学—数学]