国家自然科学基金(11001158)
- 作品数：22 被引量：8H指数：2
- 相关作者：刘妮韩胜伟潘芳芳李璧镜陈阳更多>>
- 相关机构：陕西师范大学宝鸡文理学院西安邮电大学更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金陕西省教育厅科研计划项目更多>>
- 相关领域：理学农业科学建筑科学更多>>
- D-半群上的拓扑
- 2014年
- 研究D-半群的结构性质.借助于Rees序,建立了D-半群范畴和序半群范畴之间的函子,并证明了幂等可换半群范畴ICSGr是D-半群范畴DSGr的余反射子范畴,同时,也研究了D-半群S上的右理想拓扑τS,证明了(S,τS)是T0-空间当且仅当S是幂等可换的半群,并且d=idS.
- 潘芳芳曹文营王顺钦
- 关键词：序半群
- Quantale上的伪同余被引量：1
- 2014年
- 为了研究Quantale内部结构,我们首先在Quantale上引入了伪同余的概念;讨论了伪同余与同余的关系;最后借助于伪同余,建立了Quantale与序半群之间的联系.
- 潘芳芳韩胜伟
- 关键词：QUANTALE核映射同余
- 模态逻辑公式的真度理论被引量：2
- 2013年
- 在模态逻辑系统中,对可能世界进行了深入的分析,首次提出了完整模型的概念,并且在这个完整模型的框架下定义了模态公式的真度概念,建立了公式的真度理论。并且证明了:若模态公式φ不含任何模态词,即经典逻辑公式,它对应的模态真度τ(φ)就由区间退化为一个点,并且这个点就是该公式的Borel型真度值。
- 李璧镜
- 关键词：BOREL测度真度
- Z-半代数格及Z-半Scott拓扑
- 2015年
- 在Z-双小于关系的基础上定义了Z-紧元并依此引入了Z-半代数格及强Z-代数格的概念,证明了一定条件下Z-半代数格的闭包算子的像还是Z-半代数格,强Z-代数格与其Z-紧元集的Z-理想集是同构的。最后,研究了Z-半连续格和Z-半Scott拓扑的基本性质。
- 李冰刘妮
- 模糊C-连续格
- 2014年
- 在模糊完备格上定义了模糊beneath关系、模糊beneath紧元,并引入了模糊C-连续格和模糊C-代数格的概念,证明了它们分别是分明C-连续格和C-代数格的一种推广。讨论了模糊C-连续格上模糊beneath关系的性质,并利用模糊Galois伴随给出了模糊C-连续格的一个等价刻画。
- 冯娟娟刘妮
- 不可约Quantale
- 2016年
- 研究了Quantale上(强)伪同余的性质,讨论了伪同余与核映射的关系;引入了不可约Quantale的概念;利用伪同余给出了不可约Quantale的一般刻画。
- 潘芳芳
- 关键词：QUANTALE
- Order Topology and Bi-Scott Topology on a Poset被引量：1
- 2011年
- 在这份报纸， poset 上的顺序拓扑学和 bi-Scott 拓扑学的一些性质被获得。在 posets 的顺序集中进一步被学习。特别，为拓扑的顺序集中的一个足够、必要的条件为某种 posets 被给。
- Bin ZHAO Kai Yun WANG
- 关键词：SCOTT拓扑偏序集斯科特
- Quantale中的L-模糊滤子及其相关性质被引量：1
- 2013年
- 基于完备格L,在Quantale中引入了L-模糊滤子的概念,并研究了L-模糊滤子的基本性质.在L是闭集格的条件下,得到了Quantale中的L-模糊滤子的等价刻画;在L是空间式Frame且Q是幂等左半可换Quantale的条件下,证明了LQ上的生成滤子映射是Quantale核映射,进而全体L-模糊滤子构成的Quantale FilL(Q)是LQ的幂等的商Quantale;在Quantale中定义了L-模糊滤子拓扑,并得到了Quantale同态关于相应的L-模糊滤子拓扑连续的结论.
- 单晓伟刘妮
- 关键词：QUANTALE连续映射
- Quantale上的左(右)蕴含核映射
- 2012年
- 为了进一步讨论Quantale内部结构之间的对应关系,我们首先引入了左(右)蕴含核映射的概念;其次讨论了左(右)蕴含核映射的一些性质,左(右)蕴含Quantale商的等价刻画,并且给出了一个映射是左(右)蕴含核映射的等式刻画。最后,证明了在预Girard quantale上左(右)蕴含核映射与右(左)理想余核之间是一一对应关系。
- 潘芳芳韩胜伟
- 关键词：QUANTALEQUANTALE
- 模态逻辑系统S5中相容理论的构造方法
- 2014年
- 在模态逻辑系统S5中借助公式的状态描述等概念,提出了一种从最简单的原子公式对应的相容理论开始,对于较复杂的公式形式,寻找恰当的状态描述,再将对应的存在状态加入最初的相容理论后仍相容的方法。
- 李璧镜
- 关键词：模态逻辑
