徐罗山
- 作品数:76 被引量:287H指数:11
- 供职机构:扬州大学数学科学学院更多>>
- 发文基金:国家自然科学基金江苏省高校自然科学研究项目江苏省自然科学基金更多>>
- 相关领域:理学经济管理自动化与计算机技术更多>>
- BL代数的等价刻画及更多性质被引量:11
- 2011年
- 研究了与Hájek的模糊命题演算系统BL相对应的BL代数,提出了仅涉及运算*和→的NBL代数概念并探讨了其有关性质,证明了BL代数与N-BL代数是等价的,进而得到了BL代数更多的性质。
- 朱翔徐罗山
- 关键词:模糊逻辑伴随对剩余格BL代数
- 半连续格上的半基和局部半基被引量:14
- 2010年
- 在完备格上引入了半基和局部半基的概念,给出了半基和局部半基的性质及若干等价刻画,证明了一个完备格是半连续格当且仅当它具有半基也当且仅当它每点有局部半基。在此基础上定义了半连续格的权和特征,探讨了半连续格的权和特征与其上赋予半Scott拓扑和半Lawson拓扑时的拓扑空间的权和特征的关系。解决了文献[8](赵彬,刘妮.连续Domain的特征和浓度,陕西师范大学学报,2002,30(2):1~6)中提出的一个问题。
- 李高林徐罗山陈昱
- 关键词:半连续格
- 连续poset的投射像的连续性
- 2014年
- 本文用反例说明了连续poset的保定向并的投射像不必连续,指出了《Continuous Lattices and Domains》一书中定理I-2.2的错误.证明了连续poset在保定向并的核映射下的像和连续收缩核还是连续的。
- 徐罗山栾云骏
- 关键词:收缩核
- 广义近似空间的粗糙同胚与拓扑同胚被引量:2
- 2017年
- 对广义近似空间之间的映射引入并刻画了粗糙连续性和拓扑连续性,探讨了他们的性质及相互关系.证明了两个粗糙连续映射的复合还是粗糙连续的,每个粗糙连续的映射都是拓扑连续的.在此基础上引入了粗糙同胚性质和拓扑同胚性质的概念,证明了拓扑同胚性质均为粗糙同胚性质并考察了广义近似空间的诸如分离性、连通性、紧性等的粗糙同胚不变性和拓扑同胚不变性.
- 荣宇音徐罗山
- 关键词:粗糙集
- 区间数系的内蕴拓扑及度量表示被引量:8
- 1999年
- 单位区间I上的区间数系SI在自然序下是一个完全分配格,其上的区间拓扑是连通的紧可度量拓扑,并具有不动点性质.一般地,实数集R上的区间数系SR在自然序下是局部完全分配格,其上的双Scot拓扑是第二可数的局部紧连通可度量拓扑,该拓扑是R上通常序拓扑的自然推广,还是道路连通的.其实,SR这一空间可嵌入到R2中.当考虑代数运算时,SR和SI都是拓扑格。
- 徐罗山
- 关键词:拓扑结构区间拓扑
- 可换BR_0代数的刻画和性质被引量:5
- 2012年
- 为了得到基础R0代数(简称BR0代数)的更多表示和性质,利用蕴涵算子给出了可换BR0代数的两种形式更为简单的刻画;证明了可换BR0代数与有界可换BCK代数之间的等价性;证明了满足Heyting性质(HP条件)的可换BR0代数与正则Heyting型FI代数(即HFI代数)等价.
- 凌雪岷徐罗山
- 偏序集中的下收敛与Lawson拓扑被引量:2
- 2012年
- 在偏序集中引入下极限的概念,利用下极限定义下收敛,讨论下收敛类所生成拓扑的若干性质,利用下收敛(类)刻画连续偏序集的Lawson拓扑以及交连续偏序集的连续性.
- 李高林徐罗山
- 关键词:偏序集下极限LAWSON拓扑
- 软泛代数及其整体结构性质
- 2012年
- 提出了软泛代数概念,将已有的软群、软环等概念统一纳入这一框架中,从整体上研究了软泛代数的序结构性质,证明了固定指标集和T-代数后,相应的软T-代数全体以点式序形成代数格。引入了Scott连续软泛代数概念,证明了从代数紧拓扑空间到给定T-代数的Scott连续软T-代数的全体以点式序形成代数格。
- 崔靖徐罗山
- 关键词:完备格代数格
- 拓扑系统的紧性和分离性被引量:9
- 2007年
- 考察拓扑系统的两种紧性——空间式紧和locale式紧,给出紧性的若干刻画,讨论了两种紧性的相互关系,证明了拓扑系统的两种紧性都是拓扑空间紧性的良好推广,说明了紧拓扑系统的闭子拓扑系统、有限和系统以及积系统仍是紧拓扑系统。最后在拓扑系统中考察了紧性加强分离性的问题,得到了紧,(强)T2拓扑系统为(强)T3,(强)T4拓扑系统等结论,并用理想收敛刻画了拓扑系统的强T2分离性。
- 李高林徐罗山
- 关键词:拓扑系统紧性分离性LOCALE
- 关于CFI代数被引量:21
- 2007年
- 对可交换FI代数(简称CFI代数)的特征进行系统研究,获得(正则)FI代数和CFI代数的一些新的性质;探讨CFI代数与HFI代数、格蕴涵代数及R0代数等逻辑代数之间的关系,得到CFI代数成为正则HFI代数的一个充分必要条件.
- 刘春辉吴红霞徐罗山
- 关键词:FI代数剩余格格蕴涵代数