NML系统的有限强完备性

来源 :电子学报 | 被引量 : 0次 | 上传用户:beilei
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对NML(Nilpotent Minimum Lukasiewicz Logic)系统进行了研究,讨论了NML系统的强完备性问题.对NML-链的性质作了进一步的研究,证明了任一NML-链都可部分嵌入到[0,1]J中;利用这一性质证明了NML系统的有限强完备性定理;最后指出,在NML系统中,关于无限理论的强完备性定理是不成立的.
其他文献
随着新课程的深入发展,新的教学理念、教学模式逐渐深入实施,化学实验教学成为教学中的重要环节。实验教学的设计、开放与优化,成为教学的关键问题。将结合多年的工作经验,探
摘 要:本文从我国生态环境保护执法的现状出发,由此提出了提高我国生态环境保护执法能力的方法和对策。  关键词:环境保护;环保法制宣传;执法权力和能力  生态环境保护作为一个全球性的问题越来越受到世界各国政府的重视,我国也把“人与自然和谐相处”作为社会主义和谐社会的基本特征之一,为生态保护工作提供了有力的政治保障,为生态保护参与综合决策创造了条件,促进了我国生态环境执法革新的步伐。  近几年来,我国
1996年保险行业分业经营以来,我国产寿险市场都得到了广泛发展,但二者在发展中呈现出不同特点。本文即选取1996—2007年我国保险市场保费收入的数据,比较我国产寿险发展历程及特
摘 要:本文论述了绿色矿山的涵义、建设绿色矿山的必要性,在此基础上,提出了发展绿色矿山推进和谐矿区的基本措施。  关键词:绿色矿山;和谐社区  矿业绿色和谐发展是我们时代的要求,是转变矿业发展方式的主要途径。传统的以消耗资源、破坏生态、企业独享开发利益的粗放式开发利用模式已经不适应经济社会发展的新要求,亟待加快转变开发利用方式,实现“开发一点,保护一片;开发一处、造福一方”的绿色和谐发展新模式。 
摘 要:电网中小电流接地三相对地电压不平衡现象是情况异常和故障发生的反映,电气运行人员若能正确判断并限制故障发展,迅速排除故障,则可以保证电网安全运行。  关键词:小电流接地系统;接地现象;故障现象  1 引言  小电流接地系统是指采用中性点不接地或经消弧线圈接地的系统。在该系统中发生单相接地时,由于其电压的大小和相位不变(仍对称)且系统绝缘是按线电压设计,允许短时(2h)运行而不切断故障设备,提
通过对宁国市地质灾害进行网格化赋值,结合扰袭系数,划分出8个地质灾害易发区,对灾害易发区灾害原因进行剖析后认为,灾害原因主要与地形地质条件密切相关,人类工程和建设活动
截至2014年5月,成都市共有汽车零部件工业企业291户,其中规模以上工业企业195户。在所有企业中,动力系统配套零部件企业有96户,其中规模以上企业有68户;底盘配套零部件企业有91户,其中规模以上企业有67户;车身配套零部件企业有61户,其中规模以上企业有39户;电子配套零部件企业有43户,其中规模以上企业有21户。  1 产品种类  成都汽车零部件产品涵盖了动力系统(以发动机、离合器、变速器
中印是世界上经济发展速度最快的两个国家。两国国情有很多共同之处,两国经济发展模式为世界瞩目。两国也是“金砖四国”的重要构成力量。中印发展的时间阶段相似,发展的道路却
在全球经济一体化的大背景下,兼并收购的浪潮正以其汹涌的态势席卷着国内资本市场的各个角落。企业并购可以增强企业的竞争力,规避投资风险,化解企业债务,降低劳动力成本,扩张企业