可换BR0代数的刻画和性质 (2012年)

【文件属性】：

文件名称：可换BR0代数的刻画和性质 (2012年)

文件大小：263KB

文件格式：PDF

更新时间：2024-06-04 15:34:22

自然科学 论文

为了得到基础R0代数（简称BR0代数）的更多表示和性质，利用蕴涵算子给出了可换BR0代数的两种形式更为简单的刻画；证明了可换BR0代数与有界可换BCK代数之间的等价性；证明了满足Heyting性质（HP条件）的可换BR0代数与正则Heyting型FI代数（即HFI代数）等价.