摘要

论证区间集上R0-代数的一组有趣特征性质及任意元与其相应的补的最小蕴涵关系式。在引入两个新的运算算子的基础上,进一步讨论区间集上R0-代数的又一组基本特征性质。运用公理化思想简化了区间集上R0-代数表示形式的公理条数,以彰显其公理系统的相对独立性。

全文