共查询到19条相似文献，搜索用时 94 毫秒
1.
研究定义在完备格上的“超分子”的有关性质,并讨论它和分子、强分子之间的关系,并在此基础上证明了在｜L｜＝2^n时,SM（L）＝M（L）。 相似文献
2.
王捏贫 《北京师范大学学报(自然科学版)》1992,28(4):426-430
讨论了完备弱可补格按关于谓词演算的同模分类问题,给出了原子的完备弱可补格与二元布尔代数同模的充要条件以及一类分组格与特殊的分组格C_k同模的充要条件. 相似文献
3.
胡长流 《河南大学学报(自然科学版)》1997,27(2):9-11
讨论偏序集Ｘ、Ｙ及其基数幂Ｙ＾Ｘ的格性质，给出了使Ｙ＾Ｘ成为半模格、模格、分配格，有补格，Ｂｏｏｌｅ格及完备格的充要条件。 相似文献
4.
李扬荣 《西南师范大学学报(自然科学版)》1992,17(2):146-148
本文研究了σ-完备F-格成为完备格的充分条件,证明了满足条件(A)|x|<|y| 导致‖x‖<‖y‖,(B)0≤x_n↓0导致{x_n}是Cauchy列.中任意一个的σ-完备F-格都是完备格. 相似文献
5.
赵希武 《内蒙古师范大学学报(自然科学版)》1992,(4)
将汤澡真先生的群之新基本特性一文的结果推广到广义Boole 代数上去,同时把陈昭木先生关于群之新基本特性的推广一文中对于Boole 代数所得的结果作为本文的推论. 相似文献
6.
7.
耿建敏 《首都师范大学学报(自然科学版)》1999,20(4):13-16
Ｍ．Ｈ．ｓｔｏｎｅ 已证明：对于分配格,存在一个集合,使得它格同构于这个集的幂集格的一个子格．对于完全分配格,可知它格同构于［０ ,１］ 的某个幂的子完备格．本文探讨完备格的表示,给出了它的一种表示 相似文献
8.
根据格上交既约元、完全交既约元的概念,定义了连续交既约元,给出了它们之间的联系与区别,进而得出完备格上交既约元的一些性质及相关结论. 相似文献
9.
描述逻辑中含有循环定义的TBox通常使用固定点模型来刻画循环定义的语义,对于固定点模型,不仅需要研究其存在性,还需要研究模型之间的关系,如是否存在最大、最小固定点模型。TBox中所有模型扩展集合上的偏序关系可以诱导出格结构,而且是完备格,现有的研究得出的一些结论主要是针对此完备格。考虑在特定固定点下,概念解释域上的偏序关系同样可以诱导出格。对这种格进行研究得出了一些有益的结论,这些结论为深入研究循环描述逻辑语义提供了新的思路。 相似文献
10.
杨云 《甘肃联合大学学报(自然科学版)》2006,20(3):7-10
利用完备Brouwerian格L上t-模T给出L上矩阵的各种运算,在此基础上研究L上T-矩阵方程A°TX=B的求解问题,给出它们有解的条件.当方程的解存在时,其最大解被确定. 相似文献
11.
强广义连续格的完全链表现 总被引：1，自引：0，他引：1
邓自克 《湖南大学学报(自然科学版)》2002,29(3):10-11,70
建立强广义连续格的完全链表现定理 ,它包括前人关于完全分配格以及传统连续格的已知结果作为特例 相似文献
12.
对于上连续完备模格L,证明了L是局部原子格等价于1是原子的并,也等价于1是独立原子的并,并进一步给出了1可分解为有限个原子并的若干等价条件. 相似文献
13.
14.
15.
首先给出了完备Brouwerian格上模糊关系方程的解集与解矩阵之间的一个映射,并讨论了这个映射的一些性质,然后给出了方程解集(非空时)的一种分类.最后给出了完备Brouwerian格上模糊关系方程的极小解的一些性质. 相似文献
16.
利用完备格同态为态射的广义完全分配格范畴的逆极限,讨论了函子保广义完全分配格范畴逆极限的条件,得出了广义完全分配格范畴上的局部连续的自函子保伴随且保满态射和单态射. 相似文献
17.
邓自克 《湖南大学学报(自然科学版)》2002,29(5):1-3,36
证明广义代数格同构于拓扑空间的闭集格当且仅当它是可加的，进而证明可加广义代数格之范畴等价于T0拓扑空间之范畴。因此可加广义代数格在拓扑中可起与传统代数格在代数中相同的作用。 相似文献
18.
广义连续格的同态 总被引：2，自引：3，他引：2
邓自克 《湖南大学学报(自然科学版)》1999,26(3):1-4
引进和研究了广义连续格的下同态和上同态,建立了广义代数格紧元素之间的映射扩充为下同态的充要条件。 相似文献
19.