F命题演算

本文在[1]的基础上,把普通命题推广到F命题,应用基本逻辑联结词,对F命题进行了逻辑演算。文中还推出了基本F公式,借以推证引出其它的为F的F函数。     

MPI环与正则环

利用局部化的方法讨论可换正则环，ＭＰＩ环的性质．证明了可换环Ｒ正则等价于Ｒ的每个准素理想为极大理想，也等价于每个循环Ｒ模的准素子模为极大子模．对可换环Ｒ，我们证明了以下条件等价：１）Ｒ为ＭＰＩ环，２）．．．稳定．３）ｎ＞０，ｒ∈Ｒ使ｘｎ＝ｘｎ十１ｒ，４）循环Ｒ模的素子模极大．最后还讨论了ＭＰＩ环与弱半局部环及半局部环的关系，证明了ＭＰＩ环为半局部环的充要条件是每个真理想有准素分解．     

一类向量形式的积分—偏微分方程组的正则广义解

本文从具有双向流动的城乡人口系统的数学模型出发,讨论了一类向量形式的积分偏微分方程组,证明了该方程组的正则广义解的存在性。本文结果可为人口的预测提供数学方法。     

中国宪政体制下检察权独立的科学内涵新探

在中国议行合一宪政体制下,检察权独立的首要价值目标是法律监督权的公正行使而非司法公正。检察官独立是检察权独立的核心内容,而不应简单地强调检察权的整体独立。以违宪责任方式制约检察权是检察权独立的重要内涵。     

Linguistic Truth Values Lattice Implication Algebras

In order to study uncertainty reasoning and automatic reasoning with linguistic terms, in this paper, the set of basic linguistic truth values and the set of modifiers are defined, according to common sense; partially orderings are defined on them. Based on it, a lattice implication algebra model L18 of linguistic terms is built; furthermore, its some basic properties are discussed.     

实质蕴涵刻画推理的思考

用实质蕴涵刻画推理,尽管它不具有内容相关性和独立性,造成了反直观的“怪论”,但它概括了“如果,那么”这类联结词各种用法中的共性,在日常用法中有其经验根据,具有广泛的适用性和使用的方便性。相对逻辑学家己提出的各种刻画推理的蕴涵理论,用实质蕴涵刻画推理是比较好的推理理论。     

基于规则的专家系统诊断问题求解的一种模型

本文试图通过引进外推推理来克服基于规则的专家系统的不足,并为演绎推理和外推推理寻求一种一致的解释和理论基础.在讨论了规则的因果模型解释后,本文提出了诊断问题求解的最佳蕴含模型和基于该模型的循环生成-测试的推理方法.     

IL型三I算法及其还原性

基于模糊推理的全蕴涵三I算法，给出了当蕴涵算子→为蕴涵格中的蕴涵算子（称为IL型蕴涵）时的三I算法和α-三I算法的表达式，并进一步讨论了IL型三IMT算法．给出了IL型三I算法、三IMT算法具有P-还原性的充分条件．证明了IL型三I算法是P-还原的，如果存在a∈X，使A（a）=1；IL型三IMT算法是P-还原的，如果存在b∈Y，使B（b）=0．     

中英姓名的文化蕴涵

姓名是社会结构中个体的区别性符号,中英姓名分属中西方两种文化,其差异是客观存在的,但也有相似之处。从姓和名两个角度探讨中英姓名的文化蕴涵,可以了解隐藏在姓名背后的社会文化因素。     

基于正则蕴涵算子的三I算法的性质

基于正则蕴涵算子分析了三I算法的连续性与逼近性问题,指出在模糊连续输入的条件下,RL、RG、RΠ型三I算法均具有连续性与逼近性,并指出了R0型三I算法具有连续性与逼近性的条件是x∈X,A*(x)∧A(x)>1/2成立.