“中介”谓词逻辑演算MF的特征问题

本文通过引入三值结构获得并证明了“中介”逻辑系统 MF(MF~*)的可靠性与完全性定理。     

评“中介逻辑ML的一种模型”

近年来,朱梧槚、肖溪安等发表了名为“中介逻辑”的形式命题演算系统MP,并在系统内作了大量形式推演。由于起初“中介逻辑”没有语义解释,使得一段时间以来人们对“中介逻辑”是否为普通三值逻辑发生争议。有的作者试图为其建立模糊解释,然而最终导致失败。研究结果表明,“中介逻辑”确是三值逻辑,李祥、李广元在“科学通报”1988年第22期和1989年第5期的两篇文章中对此作了明确的回答。笔者就潘正华发表在《南京师大学报》1989年第一期上的文章“中介逻辑ML的一种模型”一文中出现的有关错误进行讨论。     

三值逻辑的Craig中插定理与Herbrand定理

作者获得并证明三值命题逻辑MP与MP^*、三值谓词逻辑MF与MF^*以及带等词的三值谓词逻辑ME与ME^*的Craig中插定理与Herbrand定理。     

关于“中介逻辑ML的一种模型”一文中的一些问题

本文针对[1]给出的中介逻辑ML的模型中出现的有关错误进行讨论并修改,修改结果表明,该模型实质上与Woodruff三值逻辑模型等价。     

基于对称三值逻辑的集合

本文的目的是建立与对称三值逻辑相应的集合概念,定义它们的一些运算,并讨论其若干性质.     

基于三值语义的非单调逻辑

本文给出一种三值非单调逻辑形式，它一方面可推广标准非单调逻辑到三值情形，另一方面它能捕捉各种非单调逻辑作为特殊形式，特别地，我们证明了三值非单调逻辑与模态非单调逻辑具有密切的关系．     

对称三值逻辑的实现

本文从对称三值逻辑最小项的性质出发,讨论了对称三值逻辑与二值逻辑的内在联系,从而使对称三值逻辑函数可用PLA技术实现。文中给出了三值优先编码器和三一十编码译码电路作为示例。文中还给出了对称三值CMOS存贮器ROM和RAM的逻辑系统图。     

三值逻辑函数表格法最小化的一种新方法

根据格代数公式，对三值逻辑函数表格法最小化提出一种新方法。在搜索蕴涵项、质蕴涵项的过程中，采用找出满足下述条件最小项的策略：一是相邻最小项的数量为3的m次或或者m-1次幂，同时保证m数值尽量大(m=1，2，…)。二是最小项的逻辑值为“1“或“2“。为此，利用避开最邻近的最小项方法（该最小项逻辑值小于被选择最小项的逻辑值），从而减少了冗余项的数量。这种方法尤其适合于含有大量无关项的多变量三值逻辑函数最小化。     

采空区自燃“三带”特征的最小二乘法分析

为研究采空区煤自燃对工作面及整个矿井安全生产的危害及影响,减小矿井发生自燃火灾的可能性,提高安全生产效率,采用沿综放工作面两端头向采空区布置测点的方法,进行采空区温度以及气体组分浓度变化分析,得到了大水头煤矿东108综放工作面采空区遗煤温度和特征气体参数的变化曲线;利用Matlab软件的最小二乘法拟合方法,对所观测到的数据进行曲线拟合,通过高阶函数驻点特性分析、以及实际参数曲线所反映的采空区煤炭自燃"三带"规律,分析得出了采空区自燃的散热带和氧化带的临界点在采空区深度大约55 m处,氧化带和窒息带临界点在大约92 m处,采空区氧化带内最剧烈氧化点出现在深度约为68 m处,这些研究成果为指导大水头煤矿防灭火工作提供了一定的科学依据。     

煤炭地下气化“三带”特征及影响变量的研究

阐述了煤炭地下气化的原理,根据气化煤层的温度、主要化学反应及煤气成份的不同,将气化过程沿气通道划分为3个带,即氧化带、还原带和干馏干燥带。分析了“三带”的物理化学特征,并讨论了主要变量－－温度、水涌入速率、鼓风的量与质、煤层厚度、操作压力以及气化通道的长度和断面对煤气质量的影响及各变量之间的相互关系。为进一步探讨煤炭地下气化过程和影响因素、预测产品煤气的组成、选择最佳控制参数以及确定适宜的气化工艺,提供了必要的依据。     

向量值一阶逻辑及其可靠性定理

讨论了向量值一阶逻辑形式系统。通过对于在智能系统多认知环境下事物逻辑性质的分析,把逻辑真值推广到一个n维向量。在对于向量值命题逻辑形式语言建立可靠性定理与完备性定理的讨论基础上,这里进一步建立了向量值一阶逻辑形式系统,证明了它的可靠性定理。     

Propositional Vector Logic System and Its Adequacy Thcorem

With the paradigm of holistic thinking and multiple per-spectives,an overall new understanding of logic is ob-tained for reasoning in collective intelligent systems(CIS).Based on the hypothesis of multiple resolutions ofreasoning in CIS,the logical state of a proposition isgeneralized into an n-dimensional vector whose elementis either 1 or 0.In contrast with classical logic with bina-ry truth-values,a propositional vector logic system isconstructed by introducing new connectives,new axi-oms,and new rules.Adequate sets of connectives areprovided.The soundness theorem and the adequacy the-orem for the vector logic system are shown.     

基于正规剩余格的一个逻辑系统及其完备性

在模糊逻辑中,基于剩余格的逻辑系统起着非常重要的作用.本文提出一种新的代数结构,叫做正规剩余格,研究这种剩余格的性质和结构,建立基于正规剩余格的统一的逻辑系统,许多重要的逻辑系统是这个系统的扩张.进一步,本文还讨论了这个系统关于建立在正规剩余格上语义的完备性.     

对扩展树证明的可靠性与完全性的简化证明(英文)

本文对扩展树给出一个不同的证明．它的长度比起Ｍｉｌｌｅｒ的证明要简短得多，而且改正了 Ｍｉｌｌｅｒ证明中的某些错误。     

扰动模糊逻辑及其"与","或"算子

提出了扰动模糊命题逻辑的概念,定义了扰动模糊命题的运算,然后将一维模糊逻辑算子推广到二维的扰动模糊逻辑算子中去,提出了扰动模糊“与”“或”算子,同时对这些逻辑算子的性质做了较为系统的研究,从而使模糊逻辑的概念及性质得到进一步的推广。     

关于数理逻辑中的可靠性、完备性及协调性的讨论

本讨论了命题逻辑和一阶逻辑中应用可靠性定理和完备性定理所解决的一些代表性问题，还讨论了极大协调集在建立可靠性定理和完备性定理的证明过程中所起的作用。     

多元逻辑电路(DYL)线性“与或”门均匀性的研究

Comparing the theoretical ana1ysis with the experimental results the authors have proved that the uniformity of linear "and/or" gates mainly depends on imput voltage and load resistance. When imput voltage is low, the uniformity changes a little with the load resistance. When imput voltage is high, the smaller the load resistance is, the more obviously the uniformity changes with imput voltage.     

马克思主义创始人效率与公平关系思想初探

效率（社会整体效率）指社会在提高全体社会成员生活质量,促进社会可持续发展的能力的施展状况,公平是阶级社会中社会利益关系合理之义。效率与公平关系是阶级社会的一个重要课题。马克思主义创始人坚持唯物辩证的方法论原则,在人类思想史上第一次提出了科学的效率与公平关系思想,公平具有客观性,历史性,相对性,具体性,社会性,公平包含着形式公平和事实公平两个层次或两种类型;阶级社会中,效率与公平构成了运动,发展的矛盾统一体,无产阶级失以平就是消灭阶级,实现全面的社会公平;经济的发展和效率的提高是实现更高程度公平的根本条件。