【摘 要】
：
格是一类重要的代数结构,现实世界中的很多现象都可以用格来刻画,尤其是不可比较性.而建立在格上的格值逻辑系统把已有多值逻辑的链状真值域拓展到较一般的格上,既能处理全序
论文部分内容阅读
格是一类重要的代数结构,现实世界中的很多现象都可以用格来刻画,尤其是不可比较性.而建立在格上的格值逻辑系统把已有多值逻辑的链状真值域拓展到较一般的格上,既能处理全序性信息,又能处理非全序性信息,从而更有效地描述人类推理、判断和决策的不确定性.广义模态逻辑属哲学逻辑范畴,对于刻画事物的"势态"、人物的"情态"和过程的"时态"是一种十分有效的工具.该文在格值命题逻辑系统LP(X)和格值一阶逻辑LF(X)的基础上,讨论了广义格值模态逻辑系统的语义及语法性质,并对其α-归结原理做了初步探讨.
其他文献
扶梯乘员坠落事故已经发生多起,如何进行相关风险的辨析并提出防范对策,是电梯从业者难以回避的课题.本文试从生产者、经营管理者之角度就此课题进行“归责”与“对策”的辨
对混凝土结构而言，早期开裂一直是一个十分重要的问题。而现如今，为了应对一些低温施工的工况，人们通常使用一些含盐外加剂以改变混凝土的早期性能。常用的含盐外加剂虽在多方面
搅拌摩擦焊接过程中，焊缝区域会存在比较大的温度梯度，并且温度场会随着搅拌头的移动而发生变化。这种在时间以及空间上的不均匀加热以及冷却过程，都会引起焊接残余应力以及残余
为满足基于大数据的特种设备事故推演和预防技术及平台的研发与应用,本文研究了特种设备事故(突发事件)应急处置现状和存在的问题,归纳总结出特种设备安全共性风险,设计和完
由于物理实验的多样性，学校提供的物理实验器材很难满足教材对实验的要求。新课改提出“从生活走向物理”这一新的教学理念，倡导师生发现和利用生活中各种资源来进行物理实验。
随着现代工业的不断发展,大型、重载、高精度的机械设备得到了越来越广泛的应用,液压技术作为高性能机械的关键技术也得到了高速的发展。液压系统由于其控制精度高、响应速度快、重量轻以及功率-重量比大,已经被广泛的应用在机床、轧钢、矿山机械以及船舶等系统中。液压伺服阀作为液压技术的一个重要分支,很大程度上决定整个液压系统的性能。目前大流量的伺服阀存在难以实现高频响的问题,而且大流量伺服阀都是三级阀的形式,这
我国棉花锯齿细绒棉标准（标准编号GB1103-2012）规定根据外观形态和所含疵点的程度，棉花轧工质量分为好、中、差三档。现行轧工质量分级由人工完成，为满足检验实际需求，制作了实物标准。检验时，检验人员手持样本，与物标准旁进行对照，确定检测样本轧工质量档次。这样检验的缺点很明显：全国各地的检验人员水平本身就参差不齐；疵点种类多，形态复杂，经验丰富的人员在实际检验时也经常做出不一致的结论；标准样本人
面对刚从幼儿园步入小学的一年级学生时，许多教师在显得不知所措，对班级的管理也总是“心有余而力不足”。许多教师对一年级班主任这个费力的职务都有点谈虎色变之意。其实，只要我们了解了儿童的心理特征，找寻一些符合儿童心理特征的有效的管理办法，对症下药，有的放矢，就能做到事半功倍，问题也就迎刃而解了。下面是我当一年级班主任的几点体会： 一.常用鼓励培养习惯 良好的习惯是孩子进步的阶梯。我们知道良好的
该文研究了国内外相关工程事件和工程经验,对填石路堤主要面临的问题进行了室内外试验和深入研究,提出公路填石料的分类标准.公路填石料主要依据岩石的单轴饱和抗压强度进行
通过分析国内外碳纤维布加固钢筋混凝土粱了(RC梁)的研究现状,首先,根据中国现行混凝土结构设计规范(GBJ10-89),提出了一种考虑二次受力情况下,碳纤维布加固RC梁抗弯承载力的