论文部分内容阅读
引入了一种代数，称为模糊公式代数，在这种代数上建立了一个准形式演绎系统，证明了相应的可行性定理与相容性定理，提出了程度化的Ｍｏｄｕｓ Ｐｏｎｅｎｓ规则和Ｈｙｐｏｔｈｅｔｉｃａｌ Ｓｙｌｌｏｇｉｓｍ规则。
一类代数上的逻辑淡（Ⅰ）
【摘 要】
：
引入了一种代数，称为模糊公式代数，在这种代数上建立了一个准形式演绎系统，证明了相应的可行性定理与相容性定理，提出了程度化的Ｍｏｄｕｓ Ｐｏｎｅｎｓ规则和Ｈｙｐｏｔｈｅｔｉｃａｌ Ｓｙｌｌｏｇｉｓｍ规则。
【机 构】
：
陕西师范大学数学研究所
【出 处】
：
陕西师大学报：自然科学版
【发表日期】
：
1997年1期
其他文献
<正> 在中华民族的文化观念里,莲花被赋予了一种高贵的品格,素有“君子之花”的美誉;人们一提起莲花,自然会想到“出于污泥而不染”这句脍炙人口的赞语。一般认为,莲花这一文
1．机械加工产生误差的主要原因（1）主轴回转误差主轴回转误差是指主轴各瞬间的实际回转轴线相对其平均回转轴线的变动量。产生主轴径向回转误差的主要原因有：主轴几段轴颈的同轴度
二十世纪文本理论的兴盛和发展与史艺批评实践有着密切关系，它是伴随着文艺理论的批评化这一发展趋势而出现的。哲学美学的衰落、理论的批评化和批评的理论化发展趋势使得文学
目的 探讨BKCa通道在酒精预适应(EtOH-PC)保护脑缺血再灌注(I/R)损伤中的作用及调控机制.方法 1.建立原代皮质神经元OGD/R模型,CCK-8检测细胞活性、流式及TUNEL法检测凋亡、Flu04孵育检测细胞内钙、Western检测凋亡相关蛋白及BKCa-α亚基表达,观察BKCa在EtOH-PC中的作用.2.膜片/单通道记录观察酒精对BKCa通道的作用.3.建立大鼠MCAO模型,给予M
目的：观察灵芝多糖对斑马鱼存活、发育和衰老的影响。方法取正常受精的斑马鱼卵，在其单细胞发育期注射二胺吗啉代寡核苷酸（mO），制备 p53基因敲除斑马鱼模型。正常斑马鱼卵和 p53基
提出一种理论方案，用两束激光调谐激发囚禁离子的上下振动边带，通过离子和激光的相互作用测原子的内态来实现囚禁的运动离子Wigner分布函数的直接测量．
我公司是生产卧镗系列机床的专业厂家。在机床装配完成后，需对如图1所示试件进行试加工，用以检测平旋盘精车端面A与镗杆所镗内孔4．9的基准轴线垂直度是否合格（出厂公差为0．02mm／300
目前"低碳"等词语已逐渐走入我们的生活。作为一位中学化学教育工作者,不仅肩负着向学生传授化学知识、培养和提高学生化学素养的责任,而且更应在日常教学中,通过多种渠道、
OBJECTIVE To investigate the effect of LW-AFC,a new formula of the main active components extracted from Liuwei Dihuang decoction,on treatment of Alzheimer′s d