论文部分内容阅读
该文讨论中介命题逻辑系统的强完全性，证明了中介命题逻辑系统MP和扩展系统MP是强完全的。由此表明，MP与MP.既是一般完全的亦是强完全的。
中介命题逻辑系统的强完全性
【摘 要】
：
该文讨论中介命题逻辑系统的强完全性，证明了中介命题逻辑系统MP和扩展系统MP是强完全的。由此表明，MP与MP.既是一般完全的亦是强完全的。
【机 构】
：
黔西南师专计算机系
【出 处】
：
第八届全国多值逻辑与模糊逻辑学术会议
【发表日期】
：
1998年期
其他文献
通过对增强型浸润剂、玻纤表面处理方法及树脂的研究，用经Ａ－１７４硅烷后处理或Ｃ９Ａ、Ｃ７Ａ浸润剂前处理中碱布及折射率低于１．４９９０的树脂做成的中碱玻璃钢板材，其透光率最高达８６℅，透明度最高达８４℅；浸水２４小时
该文研究了以中碱玻纤为增强材料的透光复合材料用的基体树脂，研究了从原料单体出发调节树脂的折射率，分析了树脂的固化性能和耐水性。在满足中碱玻纤要求的前提下，该文研制的树
在高职院校,学生社团补充和延伸了学校课堂教育的职能,在校园文化建设、促进学生全面发展等方面起着重要的作用.以学生职业成功为导向,通过特色立“站”、技能立“站”、文化
圆叶青又名湘苎2号是中国农科院麻类所以湘苎1号为辐射亲本,从~(60)CO-γ射线1万伦琴的辐射后代中选育而成,经检索是国内外第一个苎麻辐射新品种。1987年通过湖南省品种审定
经济中介服务对市场经济的发展有巨大推动作用。为了让更多的人了解经济中介服务，文中详细介绍了经济中介的基本含义，经济中介的功能和服务范围。
该文主要采用水热合成法及溶剂热（非水体系）合成方法，通过选择合适的Ｓｏ１－Ｇｅ１前驱体的制备路线以及适当的晶化温度，以组装溶液沉积（ａｓｓｅｍｂｌｙ ｓｏｌｕｔｉｏｎ ｄｅｐｏｓｉｔｉｏｎ）的方法制备取向良好、厚度均匀的介孔分子筛薄膜。借鉴
该文从构造和发展中介逻辑的思想背景与原则、数学背景与相关方案的实施情况以及中介逻辑在计算机科学中的应用前景等几个方面阐述了开始研制中介逻辑至今年１５年来的发展概况。
中等职业学院体育教育对提升学生综合素质,培养健康发展的人才具有重要作用.然而,当前中职体育教育中存在很多问题,严重影响了中职体育教学的健康发展.本文对当前中职体育教