【摘 要】
：
粗糙真是Pawlak粗糙逻辑的5个逻辑值之一，介于真与假之间．通过对论域U^n上所有近似空间相互关系的讨论，构造了一类代数结构——格，这类格形成了特殊的克里普克语义模型．其目的就是
【机 构】
：
河南师范大学计算机与信息技术学院智能信息处理重点实验室
论文部分内容阅读
粗糙真是Pawlak粗糙逻辑的5个逻辑值之一，介于真与假之间．通过对论域U^n上所有近似空间相互关系的讨论，构造了一类代数结构——格，这类格形成了特殊的克里普克语义模型．其目的就是要在这种模型中，对模态逻辑形式推理系统的公理进行语义分析．这种分析不限于真与假的二值讨论，而主要对粗糙真进行重点研究．最终的结果表明模态逻辑形式系统的公理在这类特殊语义模型中基本部粗糙真有效．从而也得到了利用某些公理进行粗糙真形式推理的可靠性．
其他文献
县级监测站是加强基层应急监测网络应急管理工作的基础,加强其应急监测能力建设是监测工作的重要环节。该文根据基层监测工作实践,就做好县级监测站应急监测能力建设工作提出建议。
[摘要] 目的：总结小切口下行甲状腺乳头状癌联合根治术的应用和经验。方法：福建省肿瘤医院头颈外科2006年6月～2011年11月期间对33例甲状腺癌病人施行了低位领式小切口保留颈丛的甲状腺癌联合根治术。结果：颈部淋巴结转移主要分布在Ⅵ区（74.7%）IV区（68.9%）、Ⅲ区（60%）、Ⅱ区（10.2%）、VB区（15.3%）。保留颈丛病人术后无明显耳部感觉异常，所有病人均无下颈部和肩部感觉异常
联合国教科文组织曾宣布过中国最具代表性的两首民歌,一首是《茉莉花》,另一首就是《沂蒙山小调》.在山东省费县第三高峰蒙山望海楼山下白石屋村,耸立着两块巨形花岗石,一块
晶闸管系强弱电的重要接口,应用广泛,但由于它比二极管多了一个控制极,增加了理解的难度。该文化繁为简,以表格形式,直观地分析三相半波可控整流电路的工作原理,并依此画出整
“创新、协调、绿色、开放、共享”五大发展理念是十八届五中全会关于“十三五”规划建议的最大亮点、思想红线和逻辑线索，具有战略性、纲领性、引领性的特点，它将引领我国发展
为了迎接知识经济时代的挑战，以创新教育作为实验教学改革发展的方向，探索高校实验教学实施创新教育的总体思路和具体设想，以推进高校实验教学改革。
黄芩甙是从黄芩中分离出来的黄酮类化合物,是黄芩的主要有效成份,但进入冬季后,黄芩甙精品的收率开始下降,同时沉淀罐的底部有黄色沉淀物产生.针对这一问题,文章通过黄芩甙精
"主动学习"是学生从事创造性学习活动的一种心理能动状态。该文从激发兴趣体验成功、培养获取知识的能力、注重学法指导、创设民主课堂等方面对如何让学生在数学课堂内主动学
鹰潭地处江西省东北部，居于鹰厦铁路线的起点。作为新中国成立后由乡级镇升格为县级镇再到县级市和地级市．鹰潭有幸得到世纪伟人邓小平的三次驻足，并赢得“鹰潭是个好口子”的赞
五四时期是中国知识分子思想发生急剧变化的时期。经过学习、宣传马克思主义以及“与劳工为伍”的实践。一批先进知识分子相继从激进民主主义者转变为马克思主义者。正是这批