IMTL逻辑代数的一种新强化形式

对IMTL-代数及其相关逻辑代数进行了进一步的研究,通过加强IMTL-代数条件的方法建立了IMTL*-代数,并通过实例证明了IMTL*-代数结构的存在性;其次,构造了一个非IMTL*-代数的IMTL-代数,说明了IMTL*-代数是IMTL-代数的真的强化形式,并基于IMTL-代数给出了IMTL*-代数的一些等价刻画;最后,给出了IMTL*-代数的蕴涵表示形式。本文的结果是对逻辑代数的研究内容和方法的有益补充。