）被表示为同逻辑OR一样的符号"p"∨"q"；而最大下界（交或下确界）被表示为同逻辑AND一样的符号"p"∧"q"。这种格释义有助于一般化为海廷代数，它是免除要么一个陈述要么它的否定必须为真的限制的布尔代数。海廷代数对应于直觉逻辑，而布尔代数对应于经典逻辑。布尔代数又译为zh-hans:布林代数; zh-hant:布尔代数;，然而布尔代数得名于乔治·布尔，他是爱尔兰科克的皇后学院的英国数学家。布林（boolean）在英文中的意思是「布尔的」，这是为了表彰布尔的贡献，而