论文部分内容阅读
该文以格值测度为工具，定义了一种新的模态词，并把直觉主义引入到模态逻辑中来，从而建立了一个新的直觉主义模态逻辑系统，并对其性质做了初步探讨。
基于格值测度的直觉模糊模态逻辑
【摘 要】
：
该文以格值测度为工具，定义了一种新的模态词，并把直觉主义引入到模态逻辑中来，从而建立了一个新的直觉主义模态逻辑系统，并对其性质做了初步探讨。
【机 构】
：
西南交通大学智能控制开发中心(四川成都)
【出 处】
：
第九届全国多值逻辑与模糊逻辑学术会议
【发表日期】
：
2000年12期
其他文献
为了在基于格蕴涵代数的格值逻辑系统中构造行之有效的归结证明算法，该文探讨了经典归结及一些扩充的模糊逻辑的归结方法的局限性，并提出了一种针对蕴涵的类归结方法和一些值得
该文给出了一般(2,1,0,0)型代数(L,→,*,0,1)成为格蕴涵代数的充要条件，证明了在有限链及四元格上只有一种格蕴涵代数，且不存在五元格蕴涵代数。
该文讨论格蕴涵代数中模糊滤子的性质，给出了生成模糊滤子的结构定理，讨论了滤子构成的完备格ＦＩ（Ｌ）与模糊滤子构成的完备格ＦＦＩ（Ｌ）以及非常值极大模糊滤子与超滤之间的关系。
该文从格蕴涵代数及其对应的格值逻辑系统ＬＰ（Ｘ）出发，给出了格蕴涵代数的一些例子。并通过与一些常见推理及蕴涵算子的比较，分析讨论了ＬＰ（Ｘ）逻辑系统中的推理规则及蕴涵算子的良好特性，并举
该项目位于四川省乐山市市中区肖坝街,是乐山市目前建筑面积最大的保障性安居工程项目,也是乐山市保障性安居工程第一个设计为高层建筑小区项目。小区内安置的住户主要为征地
该文较详细地介绍了日本生活污水处理中，格栅设备的设计选型和维护管理方面的经验，并用表列出了格栅设备的分类、特点、故障诊断及处理要点。
一、发病症状霜霉病一般先从下部叶片开始发病,发病初期产生淡绿色水渍状小点,病斑边缘不明显,后期发展为黄色不规则病斑,湿度大时叶背产生灰白色霉层,逐渐变为深灰色。棚室