一阶逻辑完备性定理的代数证明

在一阶逻辑中回避了通常使用的相容扩张方法，基于商Lindenbaum代数并引入一阶语言的一种γ－解释，证明了一阶逻辑的完备性定理。     

F(S)在Lukasiewicz逻辑系统中的一种分划

利用McNaughton函数，研究了Lukasiewicz逻辑系统中的可达广义重言式，证明了当α为无理数时，没有可达α-重言式，进而给出了F(S)的一个分划．还证明了在Lukasiewicz逻辑系统中，重言式可由对非重言式进行有限次升级算法得到。     

二值命题逻辑的D-条件发散度理论

在二值命题逻辑中引入D-条件发散度的概念,讨论了D-条件真度与D-条件发散度之间的关系;同时讨论了理论Γ是D-全发散与理论Γ基于∑是D-全发散之间的关系.     

形式系统L*的扩张L*n及其完备性

将Pavelka语义与语构有机结合的方法运用于命题演算形式系统L^*的研究, 在公式集中引入部分常值, 从语义和语构两个途径将公式程度化, 同时将推理过程也程度化, 提出了系统<L^*的一个扩张L^*_n, 证明了L^*_n的完备性.     

S─闭对称拓扑分子格

本文的目的是在对称拓扑分子格的框架下继续对我们于［１３］中引入的Ｓ─闭性进行讨论。值得注意的是，Ｍ．Ｅｒｎｅ＇于［１］中提出的所谓“翻译ｈ”在对称格的情形是寸步难移的。     

关于K的三种模糊模态逻辑

引入了MR₀代数的概念,讨论了它的一些重要性质,给出了MR₀代数的同构定理。其次,构建了模态系统K₁,证明了在MR₀代数语义下该系统是完备的。最后,通过将Kripke模型中的赋值V模糊化,建立了模态逻辑系统K₂,并证明了系统K₂是可靠的;通过将Kripke模型中的二元关系R模糊化, 建立了模态逻辑系统K₃,并证明了系统K₃是完备的。     

命题公式集F(S)的基于修正的Godel算子的十八类分划

本文利用修正的G(o)del蕴涵算子研究了命题公式集FS中公式确定集的特征,进而以确定集为工具得到FS的一个十八类分划,并证明了这种分划关于非运算是同余的.最后讨论了各类关于MP运算和HS运算的封闭性.     

模糊模态逻辑系统MLuk中的可达广义重言式

将赋值格取为单位区间并将二元关系R模糊化,研究了模糊模态逻辑系统MLuk,然后将其赋值格离散化研究了多值模态逻辑系统MLn;证明了在MLn中,对任一可能的赋值α都存在可达α-重言式;在MLuk中对任一有理数α∈[0,1]都存在可达α-重言式;指出了在风系统R0起关键作用的升级算法对MLn系统已不再适用,并分析了其原因。     

二值逻辑的D-条件真度理论

文章在二值命题逻辑中公式的D-随机真度和条件真度的基础上,在D-逻辑度量空间（F（S）,ρD）提出了D-条件真度的概念,同时讨论了D-条件真度的有关性质,并引入了基于Γ的矛盾式与重言式的概念和公式A与B基于Γ逻辑等价的概念;进一步给出了公式间D-条件相似度和D-条件逻辑伪距离的概念,同时讨论了它们的性质。     

电厂四大管道及焊接三通的质量控制

本文主要介绍了从提高管理水平和技术措施两方面,阐述通过一系列有效的措施如选择合理的运行方式等方面来降低线损,使电网达到最优的经济运行,提高社会的经济效益。由于电力是一种特殊的能源不能大量储存,发、输、供同时完成。从发电到供电至电力用户这个环节中,其自身的损耗是相当大的,所以降低电力系统的损耗是电力部门的重要任务之一,同时对电力部门自身而言也是具有相当可观的经济效益的。