计量逻辑学的基本思想和研究综述

介绍计量逻辑学的形成、特点及其与模糊逻辑的异同。关于命题逻辑的计量化理论,针对不同的系统论述了真度理论和相似度理论,特别是介绍了作者提出的命题逻辑系统L*以及与其配套的R0代数理论和完备性定理。介绍了逻辑理论在逻辑度量空间中的发散度和相容的理论以及三种近似推理模式。回顾了谓词逻辑计量化的进程和有待解决的问题。提出了模态逻辑和模型检验的计量化问题以及有待进一步探讨的几个研究课题。     

Core percolation in random graphs: a critical phenomena analysis

We study both numerically and analytically what happens to a random graph of average connectivity α when its leaves and their neighbors are removed iteratively up to the point when no leaf remains. The remnant is made of isolated vertices plus an induced subgraph we call the core. In the thermodynamic limit of an infinite random graph, we compute analytically the dynamics of leaf removal, the number of isolated vertices and the number of vertices and edges in the core. We show that a second order phase transition occurs at α = e = 2.718 ... : below the transition, the core is small but above the transition, it occupies a finite fraction of the initial graph. The finite size scaling properties are then studied numerically in detail in the critical region, and we propose a consistent set of critical exponents, which does not coincide with the set of standard percolation exponents for this model. We clarify several aspects in combinatorial optimization and spectral properties of the adjacency matrix of random graphs. Received 31 January 2001 and Received in final form 26 June 2001     

不分明化拓扑线性空间

给出了不分明化拓扑线性空间的定义,讨论了此类拓扑线性空间的平衡零元邻域系的结构和性质。     

前苏联和俄罗斯模糊理论研究与应用情况概述

对前苏联20世纪80年代及苏联解体后俄罗斯20世纪90年代的模糊理论研究与应用情况作了概述,列举了在人工智能认知的模糊原理、信息论的模糊性和模糊空间、随机模糊规划、工业用综合模糊控制系统等领域的研究成果,并列出90多篇（部）俄文文献资料。     

不完全三值逻辑在语言表达上的相互比较

深入讨论各种命题联结词含量不完全的三值逻辑的语言表达的能力,完全弄明白了三值系统L3,L3,B3,B3,K3,K3,MP的语言表达能力的等效或不等效关系,特别应当指出的一个结论是：中介命题逻辑MP作为一种命题联结词含量不完全的三值系统而言,它和其他命题联结含量不完全的三值逻辑L3,L3Δ,B3,B3Δ,K3,K3Δ的语言表达能力都不等效,从而也由此体现出MP的一种自身特色。     

R0-代数的格蕴涵表示定理

通过对模糊命题演算系统∧*及相应的Lindenbaum代数的研究,给出了R0-代数的格蕴涵表示形式,极大地简化了R0-代数的定义形式,使得R0-代数从定义形式上更加符合逻辑代数的特征,突出了R0-代数和其它逻辑代数的区别与联系,为进一步研究R0-代数及其和其它逻辑代数的关系提供了一个强有力的工具。     

关于BCI逻辑的一种偏序代数

通常,人们认为Kiyoshi Iséki在20世纪60年代引入的BCI-代数是组合逻辑中BCI逻辑的代数对等物。然而这种广为人知的断言却是有问题的,因为BCI逻辑关于BCI代数是不完备的。在本文中,我们引入一种称为MPE的偏序代数。在MPE中的每个不等式对应BCI逻辑中的一个重言式且反之亦然,从而MPE代数是与BCI逻辑完备的代数类。     

积格上蕴涵算子的直积分解

进一步讨论蕴涵算子的直积分解,描述积格上可以分解为两个蕴涵算子直积的蕴涵算子的特性,并研究积格上S-蕴涵、R-蕴涵、n-反演R-蕴涵和n-反演QL-蕴涵的可分解性。     

模糊概念格与模糊推理

基于伽罗瓦连接,分别在交换伴随对与对合剩余格条件下,讨论了模糊概念格的四种定义形式。并证明了在对合剩余格上,对偶性成立,四种模糊算子将具有与经典意义下一致的相互关系。最后我们提出了一种基于模糊概念格的模糊推理规则,并证明了其还原性。     

On arithmetical completeness of the logic of proofs

In this paper, we establish a stronger version of Artemov's arithmetical completeness theorem of the Logic of Proofs ${\mathsf{LP}}_0$. Moreover, we prove a version of the uniform arithmetical completeness theorem of ${\mathsf{LP}}_0$.