摘要
给出了Heyting代数成为Boole代数的几个充要条件.即Heyting代数H(,→)为Boole代数当且仅当如下条件之一成立:■a=a,■a∨a=1;或■H=H(■a=a→0).并研究了Heyting代数的自身特征.
Several conditions under which a Heyting algebra becomes a Boole algebra are given:A Heyting algebra(H,→)is a Boole algebra iff it satisfied one of the following:(?)α=α,(?)α∨α=1 or (?)H=H_1 where (?)α=α→0. Moreover,some basic properties of Heyting algebras are given.
出处
《陕西师大学报（自然科学版）》
CSCD
1991年第4期1-6,共6页
Journal of Shaanxi Normal University(Natural Science Edition)
基金
国家自然科学基金资助课题
关键词
HEYTING代数
布尔代数
伪补元
Heyting algebra
Boole algebra
pseudo-complemented clemcnt
