四川省教育厅科学研究项目(11ZB023)
- 作品数:6 被引量:9H指数:2
- 相关作者:刘熠秦晓燕徐扬王彬钟纯真更多>>
- 相关机构:内江师范学院西南交通大学内江师院学院更多>>
- 发文基金:四川省教育厅科学研究项目国家自然科学基金四川省科技支撑计划更多>>
- 相关领域:理学自动化与计算机技术更多>>
- FC-空间上不动点定理和supinfsup不等式
- 2013年
- 利用FC-空间上KKM型定理得到一个新的有限交定理.作为应用,在无紧性限制的FC-空间上得到了一个关于集值映射的不动点定理.讨论了Von Neumann-Fan型supinfsup不等式(等式)问题.
- 王彬刘恒
- 关键词:FC-空间非空交定理KKM映射
- FC-空间上Ψ-凝聚映射的不动点定理
- 2014年
- 首先给出了FC-空间上的非紧测度和ψ-凝聚映射的定义,并讨论了该映射的一些性质,引进了FC-空间上的连续选择定理,并给出了ψ-凝聚映射的几个不动点定理.
- 王彬刘恒
- 关键词:FC-空间不动点FC-子空间
- 剩余格的TL-滤子与TL-同余关系被引量:3
- 2012年
- 将有界格上的t-模T应用于剩余格的滤子和同余上,提出了剩余格的TL-滤子与TL-同余关系。首先,研究TL-滤子与TL-同余的性质与一些等价刻画。得到了TL-滤子的集合与TL-同余关系的集合是同构的。最后研究了剩余格的商结构与同态定理,这些理论在其他逻辑代数系统中依然成立。
- 刘熠徐扬秦晓燕秦亚
- 关键词:剩余格
- 格蕴涵代数的区间值T-模糊滤子理论被引量:3
- 2013年
- 将区间值模糊集和D[0,1]上的t-模T应用于格蕴涵代数的滤子理论,引入格蕴涵代数的区间值T-模糊(关联、正关联)滤子的概念,给出了它们的等价刻画,研究了它们之间的关系。
- 刘熠钟纯真
- 关键词:格蕴涵代数区间值模糊集T-模
- 基于格值逻辑系统LP(X)的α-归结域的代数结构被引量:1
- 2013年
- 首先得到了与g不可α-归结的广义文字的集合D*α(g)做成了∨-半群且也是一个序滤子;其次研究了由D*α(g)所确定的一个新的代数结构Df,Df做成一个格滤子,并研究了Df的一些相关性质;最后研究了由Df所确定的代数结构κ(D),得到了κ(D)构成滤子并研究了κ(D)的结构。
- 刘熠贾海瑞秦晓燕徐扬
- 关键词:格蕴涵代数滤子
- 拓扑空间中的KKM型定理的推广及其应用被引量:2
- 2013年
- 在FC-空间的非紧子集上引入了R-SKKM映射,建立了关于紧闭值和转移紧闭值的R-SKKM映射的R-SKKM定理,得到了FC-空间中的极大极小不等式定理和鞍点定理.
- 王彬刘恒
- 关键词:FC-空间