文件名称:Heyting代数的若干性质 (1995年)
文件大小:118KB
文件格式:PDF
更新时间:2024-06-06 15:50:18
自然科学 论文
Heyting代数的若干性质黄文平(陕西师范大学数学系,西安710062;作者,男,36岁,副教授)设L=(L,≤)是一个偏序集,如果L的每个有限子集A都有上确界(记为∨A)和下确界(记为∧A),则称L是一个格.这时,空集的上确界与下确界分别是A的最小元与最大元,分别记为0与1.格L叫做分配格,是指对L中任意元a,b,c,有aA(bVc)一(a八b)V(aAc);aV(b八c)一(aVb)八(aV--c)成立“’.定义1“’设H是格,若存在H上的二元运算十,使对H中任意元a,b,c恒有c