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

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

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

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

基于语义的逻辑模型优化研究

在不改变模型结构的基础上,从语义描述的角度,根据模型扩展原则和优化指标确定扩展内容,采用扩展参照实体的标准值方式,通过语义约束来更好的响应企业的业务变化需求。从而有效的保证逻辑模型的实用性,稳定性,和可持续性。     

中介逻辑与中介公理集合论的综述

以中介逻辑演算系统和中介公理集合论为主要内容的中介数学系统是一种在数学基础意义上将精确性量性对象扩展到模糊量性对象的系统,它对数学的逻辑基础和集合论研究产生了重要影响.文中主要从下面3个方面论述:中介数学系统的研究背景;中介数学系统的基本内容及其与经典数学系统的关系,其中简要介绍了中介概念、中介原则、中介逻辑演算系统、中介公理集合论和中介数学系统的研究现状;有关中介逻辑的学术争论,特别围绕中介逻辑是不是一个新逻辑引用了正反双方的意见.此外,还展望了中介数学系统的应用前景.     

道义逻辑D-系统的一种布尔值模型

本文为道义模态逻辑D－系统建立布尔值模型。首先定义道义模成公式○α的布尔值‖○α‖；其次证明在该定义下，道义模态逻辑系统D1、D2和D3的所有公理的布尔值为1；最后证明集合论的ZFC公理系统的布尔值模型V^B(B是一个完全的布尔代数）也是道义模态逻辑系统D1、D2和D3的布尔值模型。     

实践科学发展观制度中介的逻辑依据

科学发展观从理论走向实践既是作为理论的科学发展观本身的要求,亦是现实发展实践的迫切需要。科学发展观从理论走向实践并不具有直接的现实性,必须经由制度中介。由制度作为科学发展观从理论走向实践的物质载体和中介路径,其逻辑依据在于制度与人之存在和发展之间的内在关联、制度与观念之间的双向互动。人之存在和发展需要制度的生成及其作用的发生,观念需要内化于制度并得到制度的强化。作为科学发展观从理论走向实践的中介的制度,一方面关联着现实的人及其发展实践活动,一方面关联着顺应发展实践生成的观念。     

知识中不同否定关系的一种逻辑描述

提出知识中的否定关系应当区分为矛盾否定关系和对立否定关系。从概念层面上确立了清晰性知识和模糊性知识中存在的5种矛盾否定关系与对立否定关系（CDC,CFC,0DC,OFC,ROM）及其形式定义;发现具有对立否定关系的概念中存在规律：对立否定概念之间存在中介对象（新的模糊概念）,当且仅当对立否定概念是模糊概念;并且运用中介谓词逻辑MF与其无穷值模型Ф,研究了矛盾否定概念和对立否定概念在真值域[0,1]上的真值描述及其规律,给出了知识中的5种矛盾否定和对立否定关系的处理条件;讨论了现有的数学与逻辑理论刻画和处理这些关系的不足及原因。     

一阶模糊谓词逻辑公式的可测集解释真度理论

首先将一阶模糊谓词逻辑公式的有限、可数、及区间解释真度的概念进行了进一步的推广,在一阶模糊语言的变元集赋值的新概念下,提出了一阶模糊谓词逻辑(或一阶模糊语言)公式的可测集解释真度的概念;然后,讨论了它的一系列性质以及在近似推理中的应用.     

中介逻辑命题演算系统的可满足性的判定复杂度

[1]证明了中介逻辑的命题演算系统MP(见[2])中的每一合式公式可以分解为以形如p,p,～p,～p(p为原子命题)为基子句的析取范式,本文的主要结果为:判定以形如p,p,～p,～p为文字的子句集的可满足性问题是NP完全的。     

模态描述逻辑的模型

本文主要讨论描述逻辑ALC的模态扩充,介绍扩充后所得的模态描述逻辑MALC 的语法与语义,然后定义了模态描述逻辑的不交并模型、生成子模型的模型构造方法,并且证明他们具有的性质.     

一种基于一阶谓词逻辑的模型表示方法

给出了一种应用于决策支持系统,基于一阶谓词逻辑的模型表示方法,并分析了此种表示方法的实用性和推理机制。     

中介谓词逻辑MF完备性的一些结果

本文讨论了中介谓词逻辑系统 MF 的完备性。为了证明 MF 的完备性定理,在文中引入了协调性与极大协调集等概念,获得了中介谓词逻辑系统 MF 完备性的几个基本结果。     

Lambek逻辑的名词化扩充

出于语言学的动机,给出著名的 Lambek 逻辑 L 的一个扩充 Lnom.在Lnom中,引入名词化的公理与规则.系统Lnom关于修正幂集剩余半群语义是可靠和完全的.     

磁介质中两种微观模型的等效性及其本质区别

本文以更普遍形式讨论磁介质中分子电流环模型和分子磁偶极子模型的等效性、等效范围和等效条件,并研究了这两种微观模型的区别.