首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   50篇
  免费   2篇
  国内免费   9篇
综合类   1篇
数学   60篇
  2020年   1篇
  2019年   2篇
  2018年   4篇
  2016年   2篇
  2015年   1篇
  2014年   3篇
  2013年   4篇
  2012年   2篇
  2011年   5篇
  2010年   3篇
  2009年   3篇
  2008年   6篇
  2007年   4篇
  2006年   6篇
  2003年   6篇
  2002年   4篇
  2001年   2篇
  2000年   3篇
排序方式: 共有61条查询结果,搜索用时 15 毫秒
1.
强并半格中的C-滤子及其应用   总被引:1,自引:1,他引:0  
首先,在并半格中引入了上覆盖关系的概念以及由上覆盖关系确定的强并半格中的上覆盖概念,在强并半格中讨论了它们的基本性质;其次,通过上覆盖概念在强并半格中引入了C-滤子概念,证明了强并半格中的C-滤子是通常滤子,但强并半格中的通常滤子并非C-滤子;最后,研究了强并半格同态和余Frame同态之间的关系,证明了余Frame S与相应的C_S-滤子型余Frame之间的同构定理.  相似文献   
2.
首先,在MTL-代数中给出了演绎系统的定义;其次,提出了MTL-代数余零化子的概念,并研究了它们的一些基本性质;最后,讨论了MTL-代数中余零化子与演绎系统的关系,证明了MTL-代数的演绎系统A的余零化子A⊥是素的演绎系统的充要条件:A是线性的且A≠{1}。  相似文献   
3.
对偶导集及其应用   总被引:1,自引:0,他引:1  
借助对偶范畴的思想和方法在点集拓扑学中引入了对偶导集概念,讨论了对偶导集和对偶导集运算的相关性质.并以此为基础引入了对偶连通空间的概念,讨论了对偶连通空间和连通空间之间的关系,借此给出了不连通空间的几个等价刻画.为拓扑空间的研究提供了新的途径.  相似文献   
4.
将2-值命题逻辑的语义理论推广到了有限布尔代数,得到了2n-布尔值命题逻辑.同时本文给出了2n-布尔值命题逻辑应用的一些例子.  相似文献   
5.
基础模糊命题演算系统BL*是一个和基础命题演算系统BL相对独立的命题演算系统。命题演算系统L*是系统BL*的扩张,但不是系统BL的扩张。通过对系统BL*及其它模糊命题演算系统的研究,本文对BL*系统进行了修正,进一步改进了BL*系统中的公理体系。  相似文献   
6.
Goedel逻辑系统中的广义重言式理论   总被引:8,自引:3,他引:5  
本文将王国俊教授在逻辑系统/W,W,Wk中的广义重言式理论进行推广并应用到了Gooedel逻辑系统/G,G,Gn中。主要结果是:在逻辑系统/G,G中,重言式不可能由对非重言式进行有限次升级算法得到;在逻辑系统Gn中,对任一公式最多进行n次升级算法即可得到重言式;利用可达广义重言式概念和α-矛盾式概念分别在/G,G,Gn中给出了F(S)的一个关于→同余的分划。  相似文献   
7.
引入了R0代数的Fuzzy 子代数、Fuzzy关联MP滤子的概念,给出了R0代数的Fuzzy集是Fuzzy子代数的几个等价刻画,讨论了R0代数的Fuzzy关联MP滤子的若干性质,证明了Fuzzy子代数(Fuzzy关联MP滤子)在R0代数同态(同构)下的不变性.  相似文献   
8.
给出了分配的Fuzzy蕴涵代数的定义并探讨了其有关性质,接着本文证明了分配的Fuzzy蕴涵代数与Boole代数、正则的HFI代数是相互等价的,从而得到Boole代数的两个等价形式,并且证明了分配的Fuzzy蕴涵代数是BL代数,最后得到了FI代数成为Boole代数的几个充要条件。  相似文献   
9.
基于完备BR0-代数的全蕴涵三Ⅰ算法   总被引:6,自引:0,他引:6  
研究了基础BR0-代数的性质和基于完备基础BR0-代数的全蕴涵三Ⅰ算法,对一般蕴涵算子给出了三Ⅰ算法解存在的一个充分条件,并将结果应用于R0-单位区间W,不但极大的简化了Ro-单位区间W的R0-型α-三Ⅰ算法结果的证明,而且使其证明过程与相应的模糊命题演算系统结合起来,说明了R0-型三Ⅰ算法是与BL*系统相匹配的模糊推理方法.  相似文献   
10.
系统Hα中F(S)的一个分划及一种升级算法   总被引:1,自引:0,他引:1  
研究王国俊提出的系统Hα中F(S)的分划问题,利用可达广义重言式的概念给出F(S)的一个关于同余的分划,并给出了各类间的一种升级算法,证明在系统Hα中,重言式不可能由对非重言式进行有限次升级算法得到。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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