关于格蕴涵代数的几点注记

摘要

给出了一般(2,1,0,0)型代数(L,→,*,0,1)成为格蕴涵代数的充要条件,证明了在有限链及非全序四元格上只有一种格蕴涵代数,且不存在非全序五元格蕴涵代数,为进一步讨论由语言真值构成的格蕴涵代数的结构提供了条件.