Heyting代数成为Boole代数的条件及其特征 (1991年)

【文件属性】：

文件名称：Heyting代数成为Boole代数的条件及其特征 (1991年)

文件大小：1MB

文件格式：PDF

更新时间：2024-07-08 00:51:12

自然科学 论文

给出了Heyting代数成为Boole代数的几个充要条件.即Heyting代数H(,→)为Boole代数当且仅当如下条件之一成立:■a=a,■a∨a=1;或■H=H(■a=a→0).并研究了Heyting代数的自身特征.