中介公理集合论系统与经典公理集合论系统的关系——形式证明部分

在中介公理集合论系统（ＭＳ）中重新定义了良集的概念，讨论了它的性质。证明良集完全满足经典公理集合论系统（ＺＦＣ－：ＺＦＣ系统中去掉正则公理）的全部公理，且其配套的逻辑系统恰为中介逻辑的二值子系统ＦＩ＊ＭＬ，说明整个经典数学也能奠基于ＭＳ之上，从而最终回答了中介数学与经典数学的包含关系问题。     

MS中的自然数系统

首先给出了中介逻辑ＭＬ的二值子系统Ｆ＾ＩＭＬ，说明了它与经典二值逻辑的子系统Ｆ＾Ｉ同构。其次，利用中介公理集合论ＭＳ的相关理论，构造了ＭＳ中的自然数系统，证明了Ｐｅａｎｏ５条公理为ＭＳ中的定理。最后指出以此五条性质为公理、并以Ｆ＾ＩＭ为配套逻辑，在ＭＳ中可推出自然数的所有性质。     

无穷观问题的研究（Ⅴ）—一个兼容实无与潜无限的公理集合论系统APAS

本组系列论文（I）－（Ⅳ）从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状，确立了无穷观背景世界的三分法原则，指出了两种无穷观相互排斥的局限性，形成了统一两种无穷于同一框架中的基本观点，并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统APAS。     

无穷观问题的研究(Ⅴ)--一个兼容实无限与潜无限的公理集合论系统APAS

本组系列论文(Ⅰ)～(Ⅴ)从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状,确立了无穷观背景世界的三分法原则,指出了两种无穷观相互排斥的局限性,形成了统一两种无穷于同一框架中的基本观点,并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统APAS.     

无穷观问题的研究(Ⅳ)--自然数系统与无穷公理

本组系列论文（I）－（V）从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状，确立了无穷观背世界的三分法原则，指出了两种无穷观相互排斥的局限性，形成了统一两种无穷于同一框架中的基本观点，并建立了一个统一实无限与潜无限同一框架中的公理集合论系统APAS。     

无穷观问题的研究（Ⅱ）—从Hausdorff的直觉和Poincare的名言到Brouwer剧场现象

本组系列论文（Ⅰ）－（Ⅴ）从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状，确立了无穷观背景世界的三分法原则，指出了两种无穷观相互排斥的局限性，形成了统一两种无穷于同一框架中的基本观点，并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统APAS。     

无穷观问题的研究(Ⅲ)——‘每一''与‘所有''

本组系列论文（I）－（Ⅴ）从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状，确立了无穷观背景世界的三分法原则，指出了两种穷观相互排斥的局限性，形成了统一两种无穷于同一框架中的基本观点，并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统APAS。     

无穷观问题的研究(Ⅱ)——从Hausdorff的直觉和Poincaré的名言到Brouwer剧场现象

本组系列论文 ( )～ ( )从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状 ,确立了无穷观背景世界的三分法原则 ,指出了两种无穷观相互排斥的局限性 ,形成了统一两种无穷于同一框架中的基本观点 ,并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统 APAS。     

无穷观问题的研究(I)——历史的回顾与思考

本组系列论文(I)～(V)从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状,确立了无穷观背景世界的三分法原则,指出了两种无穷观相互排斥的局限性,形成了统一两种无穷于同一框架中的基本观点,并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统APAS.     

中介谓词演算系统ME与ME之间的化归算法及其应用

在经典二值逻辑中，带等词的谓词演算系统Ｆ１与Ｆ１＊的函词系统等价，在互推关系下这两个系统也等价，然而在中介逻辑中，带等词的中介谓词演算系统ＭＥ与ＭＥ＊函词系统不等价，本文定理１指出，在互推关系下，任何ＭＥ＊中的公式均可化为ＭＥ中的标准前束范式，因此在互推意义下两系统等价，在中介逻辑中，ＭＥ是一个较为特殊的子系统，它具有许多与二值逻辑相类似的性质，本文的结果为将这些性质进一步推广到ＭＥ＊上提供了基础     

知识表示的F-K系统

对经典知识表示系统（多系统）进行了扩充，引入一个刻划“大概知道”的模态词“Ｆ”，并建立了相应的公理系统Ｆ－Ｋ，该公理系统除包含“Ｆ”外也包含经典模态词“Ｋ”。同时，基于滤子对经典Ｋｒｉｐｋｅ框架及模型进行了扩充，从而给出了“Ｆ”的语义，并证明了该语义下Ｆ－Ｋ的完备性与可靠性。     

基于中介逻辑的多模态逻辑系统

多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充，本文构造了一种基于中介逻辑的多模态逻辑系统ＭＭＫ，讨论了它的推理规则和语义解释，并证明了ＭＭＫ的可靠性和完备性，在此基础上给出了一种基于中介逻辑的时态逻辑系统ＭＴ，对它的可靠性和完备性进行了讨论。最后，分析了相应的经典多模态逻辑系统与ＭＭＫ系统及经典时态逻辑系统和ＭＴ系统之间的关系。     

中介关系数据库查询语言

给出了中介关系数据模型，在此基础上构造了两类不同的中介关系数据库查询语言，中介关系演算和中介关系代数，中介关系演算以中介谓词演算ＭＦ为基础，通过引入直值程度词〈对立否定词和模糊否定词～扩充了关系演算的表达能力，同样地，中介关系代数以中介集合论ＭＳ为基础，扩充了关系代数的功能，此外，证明了中介关系演算和中介关系代数的语言表达能力上的等价性，中介关系演算和中介关系代数可作为研究模糊数据库理论的工具。     

中介模态逻辑MS4的表推演系统

中介逻辑是一个新的逻辑系统，该系统的创立有明显的哲学背景，自创立后得到了很大的发展。在数理逻辑以及计算机科学领域已发展了中介模态逻辑以及ＭＩＬＬ等中介程序计设 语言，但对作为程序计设语言之逻辑基础之一的中介模态逻辑的自动推理理论与实现的研究还很不够。本文系统地讨论中介模态逻辑ＭＳ４的自动定理证明理论，构造了中介模态逻辑ＭＳ４的表推演系统，由于该系统采用“与或树”的表达方法，因而不产生“遗忘问题”；     

无穷观问题的研究（Ⅰ）—历史的回顾与思考

本组系列论文（Ⅰ）－（Ⅴ）从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状，确立了无穷观背景世界的三分法原则，指出了两种无穷观相五排斥的局限性，形成了统一两种无穷于同一框架中的基本观点，并建立了一个统一实无限与潜无限于同一框架中的公理集体论系统APAS。     

基于信息公理的车间布局问题评价方法

车间布局评价问题属于典型多属性决策问题.为了使信息公理更适合于解决多属性决策问题,通过增加满意度项改进了原有的信息量计算方法.属性值被划分为精确型、不确定型和模糊型,同时针对效益性、成本性、定值性和区间性属性给出了这三种数值类型的信息量的计算办法.改进后的信息量同时反映系统的成功概率以及决策者满意程度,并能够对包含多种数值类型的多属性决策问题进行评价.最后,作为实例,对焊接装配车间的布局方案进行了评价,结果验证了所改进的信息公理对于解决多属性决策问题的可行性和有效性.     

面向中小型企业的CIM系统

立足于ＣＩＭＳ工程实践，描述了计算机集成制造系统在中小型企业中应用的结构模型，研究了实现以面向市场和用户需求为核心的企业经营活动的功能领域划分方法，并建立了系统的功能结构模型，文章分析了能够满足系统集成要求的信息结构和物料流系统，研究并介绍了一种适用中小型企业应用ＣＩＭＳ的网络体系结构和计算机递阶控制结构，在ＣＩＭＳ应用技术方面，着重讨论了并行工程与ＣＩＭ系统的关系及其在ＣＩＭ中的应用，强调了成组     

中介粗集及其在数据挖掘中的应用

粗集理论已成功应用于数据挖掘，如基于粗集方法的属性发现和决策规则的约简等。中介集合论是以中介逻辑为基础，也可以用于数据挖掘。文中将两者相结合，提出了中介粗集的概念。中介粗集是普通粗集的推广，为不完全信息系统的数据挖掘提供了新的工具，不仅可用于一般的信息系统，还适用于数据取空值的信息系统（允许结论取空值）。利用中介粗集进行数据挖掘不但可以得出粗集理论中的约简，还能得到更为简洁的中介约简。文中还给出了     

概括原则与悖论研究的进展

悖论的出现与概括原则中的造集的任意性有很大关系。然而,历史上各种排除悖论的方案要么修改概括原则而过多地限制了概括原则的合理内容,要么修改与之配套的逻辑系统而导致失败。近年来,这些问题的研究又取得了新的进展,有必要历史地加以评介,本文从类型论、ZFC公理系统、BG公理系统、多值逻辑系统和中介数学系统五个方面综述逻辑数学悖论之解释方法的研究情况。     

中介时序逻辑系统MTL的模型性性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统，它具有较强的表达能力，近年来在计算机科学领域获得了广泛的应用。基于中介逻辑对时序逻辑进行多值扩充，建立了一种中介时序逻辑系统ＭＴＬ。讨论了它的形式系统和语义解释，但未论及其完备性。本文对ＭＴＬ系统作进一步的讨论。在一可传结构下，讨论了它的可传、连通和过滤等模型论性质，为进一步讨论ＭＴＬ系统的完备性作了理论上的准备。