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

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

WF-模糊度量空间的若干性质(Ⅰ)

研究了WF-模糊度量空间的某些基本性质,主要讨论了这类空间的完备性. 对完备的WF-模糊度量空间,证明了有一定应用前景的闭球套定理和压缩型映射的几个不动点定理.     

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

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

Godel不完备性定理的非形式化论述

研究了对现代数理逻辑与形式系统公理化方法有着深远影响及重大意义的Godel不完备性定理 1和定理 2 ,给出了 Godel不完备性定理证明的一种非形式化论述 .非形式化地阐述了 Godel不完备性定理证明的基本思想 ,论述了 Godel不完备性定理证明在方法论上的特色及其深远影响     

Ekeland原理的推广及空间的完备性特征

本文把Ekeland变分原理推广到拓扑空间,给出了更一般的Petal定理及Drop定理,得到了拓扑空间内的几个不动点定理,并讨论了空间的完备性特征(与不动点的存在性等价).     

关系数据库中的空值与数据依赖规则的完备性

讨论了关系数据库中的空值与数据依赖规则的完备性问题，给出了两个定理。     

李三系的导子及完备李三系

讨论李三系T的导子的有关内容,并且给出了完备李三系的定义,进而得到完备李三系的分解定理,即完备李三系可以分解成理想的直和,且李三系完备当且仅当理想完备,并且由标准嵌入李代数的完备性可以证得李三系的完备性,以及其它一些重要性质.     

关于第<16>类压缩型映象的不动点定理

本文讨论第<16>类压短型映象的不动点和聚点的存在性,给出了两个定理并且将定理推广到半度量和不完备的空间。     

关于实数完备性基本定理的统一处理方法

讨论了实数完备性基本定理的统一处理方法，并对这一新型处理方法进行了验证．     

模糊度量空间中Φ-压缩映象不动点定理及应用

在模糊度量空间中研究两类Φ-压缩映象,并在完备和G完备的模糊度量空间中建立这两类Φ-压缩映象的一些不动点定理,同时使用模糊度量空间Φ压缩映象不动点定理讨论了起源于动态规划的一类泛函方程解的存在性与唯一性.     

命题模糊逻辑系统God中公式的理论可证度

基于命题模糊逻辑系统中公式的理论可证度的概念，探讨了命题模糊逻辑系统God中公式的理论可证度的计算公式，并研究了它的一系列性质。     

近年国内社会政策范式研究述评

近年国内社会政策研究对于“范式”的讨论主要集中在福利体制、福利多元主义、社会排斥及发展型社会政策几个方面。这些研究存在的不足是,一是倾向于引介国外理论,缺乏本土理论的构建;二是研究主题分散,研究规范不统一。因而,当前中国社会政策研究范式的构建应该从两个方面出发：首先要关注和谐社会建设,重视风险社会管理;其次要结合全球化和转型社会的时代背景,处理好理论逻辑和实践逻辑的关系。     

模型上的拓扑结构

引进一介语言模型上的一种拓扑结构,给出这种拓扑结构的若干性质,讨论这种拓扑结构与模型的密不可分的性质,并且证明Hausdorff分离性可以用一介语言表述的充要条件,以及稳定理论的“子模型拓扑等于相应的子空间拓扑”这一性质.     

衔接理论对英语写作教学的启示

作为语篇研究的主要概念之一,衔接能够使语篇结构严谨、逻辑清晰。而衔接理论如果应用到写作中,可使作文结构紧凑、思路明晰,清楚地表达写作者的观点。中国学生英语作文存在许多问题,衔接理论在英语写作教学中的应用可分为衔接标记、主位结构和信息结构两方面。衔接理论运用到写作课堂,能够提高学生的写作水平、促进中国英语教学改革。     

几种真值集为非线性序集的4值逻辑系统

介绍了 3种真值集为非线性序集的 4值逻辑系统的┐ ,∨ ,∧运算及蕴含算子→ ,并研究了它们的性质及重言式理论、准重言式理论 ,得到一些结论 .     

形容词性谓语句的逻辑语义分析

自然语言的逻辑语义分析和汉语信息处理是当今众多学科共同关注的热门话题。将现代汉语中的形容词性谓语句分为光杆形容词谓语句和复杂形容词谓语句两种,并利用转换生成语法、现代谓词逻辑、类型论、范畴论、广义量词理论、集合论和λ-转换等语义理论分别对各类句子作了较详细的分析,以期有助于信息处理的相关研究。     

集体行动逻辑的理论条件

对18—20世纪的,尤其是奥尔森的著名的集体行动逻辑、公共物品理论和公共选择理论做了评述,认为集体行动逻辑与公共物品理论和公共选择理论的发展密切相关。公共物品理论指出市场失灵问题,公共选择理论以经济学方法研究非市场决策,它们分别为集体行动的逻辑创造了理论条件和方法论条件。     

“共同治理”逻辑下的企业剩余收益问题研究

随着人力资本在经济发展中地位的逐渐提升,企业理论由"股东至上"走向"共同治理",剩余收益问题是"共同治理"理论研究和应用进一步深入的关键问题之一。通过对两种主要企业治理理论的分析,在"共同治理"逻辑下界定了剩余收益的内涵以及范围,提出了企业剩余收益分配的模式,并对涉及的主要问题进行了讨论。     

不完全信息下的溯因诊断

研究缺省逻辑表示下的溯因框架,给出一种基于规则的命题逻辑缺省溯因诊断的求解方法     

用逻辑方程解集关系求逻辑方程组的解集

给出了逻辑方程ｍｉ＝１（Ｆｉ＋Ｇ－ｉ）＝１,ｍｉ＝１　ＦｉＧ－ｉ＝１及逻辑方程组Ｆ１＝Ｇ１,Ｆｍ＝Ｇｍ的解集关系定理,得到了如下结论：若逻辑方程ｍｉ＝１（Ｆｉ＋Ｇ－ｉ）＝１和ｍｉ＝１　ＦｉＧ－ｉ＝１解集分别为Ｓ１和Ｓ２,则逻辑方程组Ｆ１＝Ｇ１,Ｆｍ＝Ｇｍ的解集为Ｓ１－Ｓ２．