Heyting代数的若干性质 (1995年)

时间:2024-06-06 15:50:18
【文件属性】:

文件名称: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


网友评论