排序方式: 共有18条查询结果,搜索用时 140 毫秒
11.
通过在格上定义等价关系,给出了分配格,Heyting代数,Boolean代数的一致等价刻画。由此得到了Heyting代数与Boolean代数分解定理. 相似文献
12.
13.
高惠中 《上海理工大学学报》1988,(2)
本文讨论了完备格上张量积的一个有意义的性质:A、B是完备的Heyting代数,当且仅当A与B的张量积是完备的Heyting代数。 相似文献
14.
Heyting代数的模糊滤子格 总被引:1,自引:0,他引:1
刘春辉 《山东大学学报(自然科学版)》2013,(12):57-60
结合模糊集和滤子理论,对Heyting代数的模糊滤子概念作进一步研究。引入Heyting代数的由一个模糊集生成的模糊滤子的概念并获得了它的表示定理。在Heyting代数的全体模糊滤子之集上定义了格运算和蕴涵运算,证明了按此方式定义了格运算和蕴涵运算之后,全体模糊滤子之集形成一个完备Heyting代数的结论。 相似文献
15.
定义并讨论了Heyting代数中的直觉模糊滤子及其性质.给出了直觉模糊格滤子与直觉模糊滤子的关系,得到了直觉模糊滤子的几个等价条件. 相似文献
16.
黄文平 《陕西师范大学学报(自然科学版)》1995,(4)
Heyting代数的若干性质黄文平(陕西师范大学数学系,西安710062;作者,男,36岁,副教授)设L=(L,≤)是一个偏序集,如果L的每个有限子集A都有上确界(记为∨A)和下确界(记为∧A),则称L是一个格.这时,空集的上确界与下确界分别是A的最... 相似文献
17.
刘春辉 《山东大学学报(理学版)》2022,57(11):10-20
为了利用拓扑学工具研究有界Heyting代数的性质和结构问题,基于由理想概念诱导的一类同余关系在有界Heyting代数(H,≤,→,0,1)上构造一致拓扑空间(H,τ)并考察其基本性质和拓扑性质,证明了(H,τ)是非连通的局部连通、局部紧、零维、第一可数的完全正则空间,(H,τ)是T1空间当且仅当(H,τ)是Hausdorff空间,获得了(H,τ)成为离散空间和紧致空间的充要条件,指出了(H,≤,→,0,1)中格运算和蕴涵运算关于一致拓扑τ都是连续的,从而构成拓扑有界Heyting代数。同时,讨论了(H,τ)的商空间性质。 相似文献
18.
Heyting代数中同余关系的简化 总被引:1,自引:1,他引:0
给出了Heyting代数中同余关系的一种简单定义,这种定义并不改变全体滤子和全体同余关系之间的一一对应性,并且借助滤子证明了这种定义是Heyting代数作为泛代数的同余关系的简化。最后证明了全体滤子之集作为完备格同构于全体同余关系之集。 相似文献