论文部分内容阅读
研究了模糊逻辑的形式演绎系统Y^*及R0-代数的性质，得到形式系统Y^*的两个更简捷的等价系统，证明了R0-代数的对偶代数是有界逆序对合BCK-代数，并给出关于R0-代数的一个重要反例，说明了R0-代数中V与→是各自独立的．
关于形式系统Y^＊及R0-代数的若干结果
【摘 要】
：
研究了模糊逻辑的形式演绎系统Y^*及R0-代数的性质，得到形式系统Y^*的两个更简捷的等价系统，证明了R0-代数的对偶代数是有界逆序对合BCK-代数，并给出关于R0-代数的一个重要反例，
【机 构】
：
成阳师范学院数学系,宁波大学理学院
【出 处】
：
陕西师范大学学报：自然科学版
【发表日期】
：
2003年3期
其他文献
目的:对比分析Coflex系统植入术与全椎板减压植骨融合内固定术(简称融合技术)治疗老年腰椎管狭窄症(LSS)的短期疗效及随访结果。方法:选取LSS老年患者72例,随机分为对照组和
采用拉曼光谱技术,从溶液结构方面研究了2MgO·2B2O3·MgCl2·14H2O在30℃下5种不同浓度硼酸水溶液中溶解及相转化平衡饱和水溶液中硼氧配阴离子的存在形式,给出
<正>结核性脑膜炎(结脑)是国内农村较为多见的中枢神经系统慢性感染性疾病,其预后及其早期诊断及确切有效治疗密切有关。本文为我院1986年10月～1992年3月间收治结脑21例,应用
推导出余弦形单一超声变幅杆的等效四端网络参量.基于传递矩阵法,得到了具有余弦形过渡段阶梯形变幅杆的频率方程和振幅放大系数.在对前后段相等的这种复合变幅杆分析后发现,
<正>吸入干冷气体对呼吸道的不良影响已深为人知,慢性阻塞性肺疾病(COPD)多在寒冷季节症状加重,就是一个明显的例子。但目前广泛应用的氧气疗法,对呼吸道的加温湿化这一重要
<正>肺心病是内科死亡率较高的病种之一,西医的传统治疗是消炎、解痉、祛痰、吸氧、利尿、强心等方法。虽然一部分患者能临床治愈,但相当一部分患者疗效不佳。随着现代病理生
信息化建设与发展为数字城市建设提供了机遇和挑战。从全球信息化发展趋势、我国信息化建设的战略目标、数字城市建设在国内外的迅速发展及其对城市信息化建设和城市可持续发展的重要性、城市信息化建设存在的差距等方面看,积极启动和推进数字城市建设的时机已基本成熟。与国际城市信息化发展水平相比,我国信息化建设水平还比较低,信息共享和系统集成化程度较差。SOA架构思想的出现为数字城市信息共享发布和集成架构设计提供了
农业的持续、健康发展是社会安定、经济强盛的重要条件，而农业生态环境是农业发展的基础，直接关系到人民群众的生活品质、农业发展后劲和整个国民经济的可持续发展。随着人口数
<正>新生儿硬肿症是新生儿常见病,重症可引起严重的并发症,甚至死亡。此症传统疗法以复温及改善微循环为主,我院在传统治疗的基础上,加用中药外敷,取得了显著疗效,现报告如下
<正>心房扑动的处理常有三种方法,即药物治疗,直流电转复及心房调搏。通常,药物转复房扑的成功率并不高,效果亦非即刻,并且常常由于房扑速率减慢而导致1:1房室传导,从而引起