形式系统L*(n)的完备性

来源 :高校应用数学学报A辑 | 被引量 : 0次 | 上传用户:qiqi251305430
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
模糊逻辑命题演算形式系统L*自1997年被提出以来,在模糊逻辑与模糊推理的理论与应用中发挥了重要的作用.系统L*的完备性直到最近才由作者给出证明.本文进一步研究系统L*的扩张在n元R0链Wn上的完备性问题,通过构造公式列,得到系统L*的扩张列{L*(n)},使用代数方法证明了对于任何n≥3,系统L*(n)关于Wn是完备的.
其他文献
叙述了抽油机智能节电装置的原理、功能特点等,通过应用说明了该装置具有显著的节电效果,是值得推广的节能产品。
介绍了一种光学电压互感器实用化的新方案,对传感头的设计提出了模块化结构的设计思想,光路系统采用双光路互补的结构,信号处理采用DSP技术。对新方案的性能进行了测试,实验结果
“经济骨感”的春晚今年春晚的一大亮点就是剔除了所有形式的广告。国内总会计师在看完本届春晚后纷纷向本刊表示,这是春晚30年历史上“最干净”的春晚,观众得到了充分的尊重。
针对浮放立式储罐地震响应及提离效应,考虑基础与土壤的相互作用,研究了减小地震响应、降低提离的控制方法,建立了控制体系的力学分析模型,并给出了运动分析方程. 对实际应用
目的 评估113例维持性血液透析(HD)患者的营养状况,针对不同患者的营养状况制定个体化的饮食方案.方法 通过人体学测量,生化指标的测定及透析状况分析等,综合评估113例维持性
搞好县级职中语文教学,要构建一个和谐的教育环境,校领导要善待教师,教师要端正教学思想,教师要不断提高自身素质,教师要和谐施教.
目的 探讨超声检查在新型农村合作医疗健康体检中的应用价值.方法 以图表形式表明不同年龄的患病数,患病率及患病类别.结果 最常见的疾病为慢性血吸虫性肝病,脂肪肝其次为胆
胫骨骨折手术内固定治疗方法较多,各家观点不一.随着生物力学研究的逐步深入,多数倾向于髓内固定,它具有手术创伤小,固定坚强,骨折愈合率高,能早期活动,并发症少等优点[1].其
结合实际工程,介绍了无粘结预应力楼盖开洞改造工程的概念设计、施工程序、后装式组合锚具的应用等技术要点。该改造工程不需要对预应力钢筋二次张拉和对结构进行临时支撑,因而
用X射线运动学理论对软X射线多层膜闪耀光栅的衍射特性进行了详细的研究,得到了衍射规律的一般表达式,讨论了产生衍射极大值的条件、光谱特性,不同于光栅和多层膜的色散特性.