10.3969/j.issn.1001-7402.2012.06.002
16种基础R0-代数结构的相对独立公理系统
在对R0-代数和基础R0-代数结构研究的基础上,讨论了基础R0-代数结构与并(交)半格及有界并(交)半格上的等价性命题系统,进而证明了16种基础R0-代数公理系统的相对独立性,同时指出了相应R0-代数结构的公理系统的相对独立性.
模糊代数、基础R0-代数结构、并(交)半格、公理化系统、相对独立性
26
O141(数理逻辑、数学基础)
陕西省教育厅科研计划项目11JK0512
2013-01-26(万方平台首次上网日期,不代表论文的发表时间)
共7页
14-20