摘要
论证区间集上R0-代数的一组有趣特征性质及任意元与其相应的补的最小蕴涵关系式。在引入两个新的运算算子的基础上,进一步讨论区间集上R0-代数的又一组基本特征性质。运用公理化思想简化了区间集上R0-代数表示形式的公理条数,以彰显其公理系统的相对独立性。
A set of interesting characteristic properties of R0- algebra on an interval set and the minimum implication relation between an arbitrary element and its corresponding complement are firstly demonstrated,and then another set of basic characteristic properties of R0- algebra are further discussed after the introduction of two new operators. Finally,using axiomatic approaches,we simplify the number of axioms for R0- algebra representation on an interval set to highlight the relative independence of its axiomatic system.
出处
《济南大学学报（自然科学版）》
CAS
北大核心
2016年第2期118-124,共7页
Journal of University of Jinan(Science and Technology)
基金
陕西省自然科学基础研究计划(2013JM1023)
陕西省教育厅科研计划(11JK0512)
关键词
区间集
R0-代数
特征性质
公理化系统
简化表示定理
interval set
R0-algebra
characteristic property
axiomatic system
simplified representation theorem
