关于格蕴涵代数公理的一个注记  

作　　者：赵光峰 徐扬[2] 等 

机构地区：[1]唐山师范大学数学系,河北唐山063000 [2]西南交通大学应用数学系,四川成都610031

出　　处：《Chinese Quarterly Journal of Mathematics》2002年第2期71-76,共6页数学季刊（英文版）

摘　　要：设在一个非空集合L上有一个二元运算→和两个零元运算O与I，除此之外没有其它已知的代数结构，利用这三个运算可以在L上定义一个一元运算′和两个二元运算∨和∧（定义2．1）。本文证明了只要这些运算满足格蕴涵代数的公理（不包括有余格的公理），（L，∨，∧，′）就是一个有泛界O，I的有余格（定理2．2）。因此在定义格蕴涵代数时可以在一个没有任何代数结构的非空集合上定义蕴含运算而不必在一个有泛界的有余格上定义蕴含运算，而且在这两种定义方式中蕴含运算所满足的条件是相同的。

关 键 词：格蕴涵代数 格蕴涵代数公理 非空集保 蕴含运算 

分 类 号：O153.1[理学—数学]