IBC代数的性质及等价刻画

本文采用IMV代数的构造方法,定义了IBC代数,对其相关性质进行了初步研究,进而在其上定义了偏序关系,给出了IBC代数的一种构造方法,并给出了IBC代数的等价公理系统。