论文部分内容阅读
正则剩余格是一类重要的模糊逻辑代数系统,而常见的模糊逻辑形式系统大多数带有非联接词,并且相应的Lindenbaum代数都是正则剩余格.本文以强正则剩余格为语义,建立了一个一般的命题演算形式系统（L）N,并且证明了这个系统的完备性.几种常见的带有非联接词的模糊逻辑形式系统都是系统（L）N的扩张.
强正则剩余格值逻辑系统（L）N及其完备性
【摘 要】
：
正则剩余格是一类重要的模糊逻辑代数系统,而常见的模糊逻辑形式系统大多数带有非联接词,并且相应的Lindenbaum代数都是正则剩余格.本文以强正则剩余格为语义,建立了一个一般
【机 构】
：
西安交通大学理学院,盐城师范学院数学系
【出 处】
：
数学学报
【发表日期】
：
2004年期
其他文献
目的 分析肝衰竭患者合并侵袭性真菌感染诱因,诊断及治疗.方法 回顾性分析本院2001年1月～2007年12月间收治的86例肝衰竭合并真菌感染患者的临床资料和感染相关因素.结果 86例
蒸汽驱油是一种提高原油采收率的工艺方法 ,这种方法是为增加粘稠重质原油的产量和最终采收率而设计的。蒸汽驱工艺过程中的第一步是把蒸汽注入油藏 ,以加热注入井周围的原油
成骨不全是一类以反复骨折、骨骼畸形为主要临床表现,并伴其他胶原组织改变的临床综合征.传统的Sillence分类法将其分为Ⅰ～Ⅳ型,改良的Sillence分类法将其分为Ⅰ～Ⅶ型,其中Ⅴ、
目的 探讨联合应用经腹部超声及经阴道超声在子宫肌瘤诊断中的意义.方法 对143例患者联合作经腹部超声及经阴道超声检查,将其结果与手术和病理结果对照,进行分析.结果 经腹部
介绍了膏状锆英粉涂料的组成、制备工艺、性能及其涂刷和烘干工艺。采用膏状锆英粉涂料可以获得较厚的涂料层 ,能有效防止厚大断面铸钢件产生粘砂
The composition, prepara
患者男,75岁,于2007年8月2日因受凉后自觉左侧头痛,呈持续性,逐渐加重,至左跟失明.在我院住院治疗,经多次会诊,诊断:左上额窦炎,左蝶窦炎并于8月22日行经鼻内窥镜下左上颌窦
糖尿病引起的各种并发症严重影响患者的生活质量,是致残、致死的重要原因之一.早期强化降糖治疗降低HbA1c水平能减少糖尿病相关并发症.
为实现东北网超远距离遥调白山水电厂机组的运行方式 ,网调指令系经微波传输 ,采用SCI 80 1、μ4F之间的数据规约转换等装置 ,扩展了白山计算机监控的调度通讯系统。该通讯方
本文依据真实文本语料库中检索到的语料 ,对“A特别是B”格式从句法形式、句法功能、语义功能和语用功能这几个方面进行分析 ,认为“特别是”可以归入连词性短语词的范畴 ,由
缺氧诱导因子1α(HIF-1α)是细胞缺氧适应与应答调节的关键因子,在机体生理及病理过程中起关键作用。HIF-1α对肿瘤生物学特性改变的调控成为近年来肿瘤研究的热点之一。生存