首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   32篇
  完全免费   4篇
  数学   36篇
  2019年   2篇
  2018年   2篇
  2017年   2篇
  2016年   1篇
  2014年   2篇
  2012年   2篇
  2011年   6篇
  2010年   5篇
  2009年   3篇
  2007年   4篇
  2006年   1篇
  2005年   2篇
  2004年   1篇
  1996年   1篇
  1992年   1篇
  1991年   1篇
排序方式: 共有36条查询结果,搜索用时 31 毫秒
1.
Fuzzy蕴涵代数的MP滤子   总被引:9,自引:3,他引:6  
给出了Fuzzy蕴涵代数(简称FI代数)上的MP滤子的等价刻画和由非空子集生成的MP滤子的表示定理; 探讨了FI代数的MP滤子与偏序滤子之间的关系; 证明了一个FI代数上全体MP滤子之集在集合包含序下构成一个分配连续(代数)格,从而构成一个Frame.  相似文献
2.
FS-相容Domain的定向完备化及相关范畴性质   总被引:3,自引:1,他引:2  
引入FS-相容Domain概念,研究FS-相容Domain的性质,主要结果有:(1)FS-相容Domain的收缩核与连续函数空间还是FS-相容Domain;(2)FS-相容Domain是有限生成上集,从而是Scott紧的;(3)FS-相容Domain的定向完备化是FS-Domaln;(4)有最大元的FS-Domain去掉最大元后是FS-相容Domain;(5)证明了以Scott连续映射为态射,FS-相容Domain为对象的范畴FS-CDOM是笛卡儿闭范畴并以FS-Domain范畴FS-DOM作为满的反射子范畴。  相似文献
3.
偏序集上的滤子极大理想   总被引:3,自引:1,他引:2  
在偏序集上引入并考察了滤子极大理想的概念,证明了相应的存在性定理。引入并考察了伪极大元和伪既约元的概念,利用图表的形式对连续格中各种类型的既约元和素元之间的关系进行了归纳总结,完善了文献《Continuous Lattices and Domains》(作者:G.Gierz,et al)中的一个图表的相关内容,填补了在分配的连续格情形该图表的一个未知内容,部分地回答了该文献中的一个问题。  相似文献
4.
连续偏序集及其Smyth幂的几个等权定理   总被引:2,自引:1,他引:1  
推广连续D om a in的权的概念到连续偏序集上,探讨连续偏序集的权、相应内蕴拓扑的权、定向完备化的权以及Sm yth幂D om a in的权间的关系。得到了几个等权定理:(1)连续偏序集的权与其上Scott拓扑、L aw son拓扑的权相等;(2)连续偏序集的权与其定向完备化的权相等;(3)无穷连续D om a in的权与其Sm yth幂D om a in的权相等;(4)有限D om a in的权小于或等于它的Sm yth幂D om a in的权。  相似文献
5.
格的内蕴拓扑与完全分配律   总被引:2,自引:0,他引:2       下载免费PDF全文
徐罗山 《数学学报》1996,39(2):219-225
本文以Scott拓扑,Zariski拓扑,区间拓朴等刻划了完全分配律;获得了格的特殊元的存在性与区间拓扑连通性等之间的众多制约关系,给出了若干应用实例和重要反例.  相似文献
6.
FI-代数的多种Fuzzy滤子   总被引:2,自引:0,他引:2  
对FI-代数的各种滤子概念进行fuzzy化, 引入fuzzy滤子、fuzzy P-滤子、fuzzy Q-滤子和fuzzy C-滤子等概念并给出它们的若干等价刻画. 证明了:(1)每个 fuzzyQ-滤子都是fuzzy P-滤子; (2)一个 fuzzy集成为fuzzyQ-滤子当且仅当它既是fuzzy P-滤子又是fuzzy C-滤子.还给出了多种滤子的扩张定理以及具体的实例和反例.  相似文献
7.
逻辑系统'Luk中命题积分真度的若干等式与不等式   总被引:2,自引:1,他引:1  
对' Lukasiewicz逻辑系统,利用序结构知识和赋值函数保并、交、补、蕴涵运算的性质研究了命题的积分真度,推出了若干关于积分真度的等式与不等式,修正完善了积分真度的交推理规则,给出了积分真度的等式与不等式的一些应用,使较复杂的积分真度计算得以简化,或进行较合理的估值.  相似文献
8.
格蕴涵代数的蕴涵表示定理   总被引:2,自引:1,他引:1  
在对格蕴涵代数和模糊蕴涵代数研究的基础上,给出了格蕴涵代数的三个蕴涵表示定理.极大地简化了格蕴涵代数的定义形式,使得格蕴涵代数在形式上更加突出逻辑代数的特征及其与其它逻辑代数之间的联系与区别.为进一步研究格蕴涵代数及其与其它逻辑代数的关系提供了一个有力的工具.  相似文献
9.
Fuzzy蕴涵代数的素MP滤子   总被引:1,自引:0,他引:1  
对Fuzzy蕴涵代数(简称FI代数)的滤子理论作深入研究.首先对由非空集合生成的MP滤子的性质作进一步探讨;然后引入素MP滤子的概念并讨论其基本性质,给出了素MP滤子的若干等价刻画,证明了并半格FI代数的素MP滤子定理;最后利用素MP滤子概念时满足条件(S)的并半格FI代数的MP滤子格((L)MP(X),(∩))中的素元进行刻画.  相似文献
10.
拓扑系统的紧性和分离性   总被引:1,自引:0,他引:1  
考察拓扑系统的两种紧性——空间式紧和locale式紧,给出紧性的若干刻画,讨论了两种紧性的相互关系,证明了拓扑系统的两种紧性都是拓扑空间紧性的良好推广,说明了紧拓扑系统的闭子拓扑系统、有限和系统以及积系统仍是紧拓扑系统。最后在拓扑系统中考察了紧性加强分离性的问题,得到了紧,(强)T2拓扑系统为(强)T3,(强)T4拓扑系统等结论,并用理想收敛刻画了拓扑系统的强T2分离性。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号