格值命题逻辑系统LP(X)的闭包算子

来源 :数学季刊(英文版) | 被引量 : 0次 | 上传用户:baiseshiren
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
In this paper, closure operators of lattice-valued propositional logic LP(X) are studied. A family of classical closure operators are defined and the relation between them and closure operators of LP(X) is investigated. At the same time, a tool for checking compactness of LP(X) is given.
其他文献
应用卫星遥感高分辨率ETM彩色合成影像和SPOT-4全色黑白影像,对四川省雅砻江锦屏水电站工程场地及其外围地区进行地质构造的解译调查,其中重点对厂址区附近的锦屏山断层、青
该文提出城区高程加密控制网(四等)必须与城区平面一级导线点分别设计和布设的测绘方案,有利于城市道路改建、地下管网和地块竣工图测绘时对已知高程点的需求。若该设计考虑到精化局部大地水准面的工作,对提高GPS-RTK的高程实测精度,提高测绘工效将十分有利。
全球变暖已经成为无法忽视的一个问题,伴随而来的还有资源短缺的问题。对于现阶段的资源匮乏来来说,绿色低碳无疑是一种最好的理念,同时也是国家的重点发展方向。园林属于城市的
GPS既是为全球定位系统,GPS可以高效、快速、准确地提供点、线、面要素的精确三维坐标,同时具有高精度、高效益、全天候、自动化这些明显的特点。本文针对GPS测量结果的误差根
LNG即液化天然气,是天然气在常压低温时的液化产物。伴随我国能源政策的改变,天然气作为一种绿色高效的能源,正急剧替代其他能源,成为各行各业能源的主导。LNG气化站建设周期短,
本文阐述了燃机电厂天然气调压站的系统设计原理、组成、参数选择,说明了系统主放散回路及调压站至燃机入口管道的设计要点,给出了密封及保压试验、管道吹扫及系统调试定值方法
使用RegCM3区域气候模式嵌套ERA40再分析资料,对东亚地区进行了15a(1987-2001年)时间长度的数值积分试验.结果表明:模式可较好地模拟中国地面气温的分布和季节变化,但存在系
探讨了电火花加工过程中电参数设置与工件表面质量的关系。电火花加工过程中电参数的选择不仅影响加工效率,也会影响加工质量。首先分析了影响工件表面粗糙度的因素,然后在35
通过把从矿井获得地质资料与矿井两侧普、精查地质资料进行认真对比分析,最终确定了三个可采煤层的层位及编号.
对一个满足Theis假设的承压含水层进行抽水试验后,依据Theis模型中s与t之间的比例关系(降深比值法),构造出新的函数W0(u),在此基础上提出采用优选逼近方法求解水文地质参数的