Heyting代数定义的简化 (2005年)

【文件属性】：

文件名称：Heyting代数定义的简化 (2005年)

文件大小：456KB

文件格式：PDF

更新时间：2024-05-17 14:47:42

自然科学 论文

Heyting代数是一类重要的代数。我们指出Heyting代数定义中的某个条件可略去,从而简化定义。