逻辑系统中理论的下真度与相容度（I）

引入模糊逻辑系统中理论的下真度与不相容度的新概念，简化理论相容度的定义，给出理论的下真度、发散度、不相容度与相容度之间的关系。     

命题模糊逻辑系统П和God中理论的相容度与下真度的计算公式（Ⅱ）

讨论命题模糊逻辑系统П和God中理论相容度与下真度的计算问题。引入逻辑公式的核、零核及理论的核的新概念，得到命题模糊逻辑系统Ⅱ和God中理论相容度与下真度的计算公式，给出理论不相容的新的充要条件。     

命题模糊逻辑系统Π和G(o)d中理论的相容度与下真度的计算公式(II)

讨论命题模糊逻辑系统Π和G(o)d中理论相容度与下真度的计算问题.引入逻辑公式的核、零核及理论的核的新概念,得到命题模糊逻辑系统Π和G(o)d中理论相容度与下真度的计算公式,给出理论不相容的新的充要条件.     

Lukasiewicz 命题逻辑系统一种新的理论的相容度

根据演绎定理和完备性定理,应用公式真度理论在Lukasiewicz命题模糊逻辑系统中讨论理论Γ的相容性,根据矛盾式■是Γ-结论的真度的大小,提出了一种新的极指标和相容度的概念.给出了理论Γ相容、不相容及其它相关结论的充分必要条件,并且获得了相容度与发散度之间联系的重要关系式.     

L*n系统中理论的相对发散度和相对相容度

利用公式的Σr-真度(文中称为相对真度)理论,在模糊命题逻辑系统(L*n)中提出了任意理论Γ相对于特定理论Γ0的相对发散度和ηΓ0-相容度概念.对于有限理论,给出了其相对于特定理论Γ0的δΓ0-相容度概念,并对两种相容度的性质作了初步探究,揭示了二者之间的内在联系.同时给出任意理论Γ相对于特定理论Γ0的相容、不相容及完全相容的定义及其等价刻画.     

模糊逻辑系统Luk和L*中理论相容度的计算公式(III)

解决了模糊逻辑系统L*与Luk中理论相容度的计算问题.首先给出了L*中理论相容度的计算公式;然后,引入了逻辑公式的核,理论的核的新概念,从而,得到了模糊逻辑系统Luk中理论相容度的计算公式;最后,给出了理论不相容的两个新的充要条件.     

模糊逻辑系统Luk和L^＊中理论相容度的计算公式（Ⅲ）

解决了模糊逻辑系统L^＊与Luk中理论相容度的计算问题。首先给出了L^＊中理论相容度的计算公式；然后，引入了逻辑公式的核，理论的核的新概念，从而，得到了模糊逻辑系统Luk中理论相容度的计算公式；最后，给出了理论不相容的两个新的充要条件。     

关于三值R0命题逻辑系统的若干注记

在三值R0命题逻辑系统中证明了随机真度的MP、HS和交推理规则;提出了随机开放度,指出随机开放度与随机发散度是从两个不同的角度刻画了理论的相容程度,并得出对同一个理论而言,二者取值相等的结论.     

逻辑方程解的性质

以二值命题逻辑的真度理论为基础,提出了基于真度理论的逻辑方程的概念,并给出了此种逻辑方程解的存在性定理,并就τ(A→X)=α的逻辑方程展开了讨论,其中,A是舍有 n 个原子公式的合式公式,X是待定的公式,A的真度τ(A)=K/2n,α=m/2n,且1-τ(A)＜α≤1.我们得到了如下结论:(1)以上逻辑方程的解的等价类个数为Cmn+k-2nk·22n-k.(2)α≠1时,上述方程的解集合是不相容的.(3)解集合中公式的相似度最大值为1-1/2n,相似度的最小值为|2n+1-2m-k|/2n.(4)形如τ((A→X)∧(X→A))=α的逻辑方程其解集合是不相容的.     

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

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

条件概率真度的相似度及伪距离

基于条件概率的思想,在连续值命题逻辑系统中引入赋值密度函数概念,给出了公式的概率真度、条件概率真度的定义,定义了公式间的相似度和伪距离并证明了概率真度的推理规则.     

标准序列逻辑系统S_3中公式的概率真度理论

利用势为3的非均匀概率空间的无穷乘积在三值标准序列逻辑系统中引入了公式的概率真度概念,证明了全体公式的概率真度值之集在[0,1]中没有孤立点;利用概率真度定义了概率相似度和伪距离,进而建立了概率逻辑度量空间,证明了该空间中没有孤立点,为三值命题的近似推理理论提供了一种可能的框架.     

Lukasiewicz三值命题逻辑中命题的真度理论

利用势为3的均匀概率空间的无穷乘积在Lukasiewicz三值命题逻辑中引入了公式的真度概念，证明了全体公式的真度值之集在[0，1]上是稠密的，并给出真度的表达式；利用真度定义公式问的相似度，进而导出全体公式集上的一种伪距离，为三值命题的近似推理理论提供一种可能的框架。     

A topological characterization of consistency of logic theories in propositional logic

The main purpose of this note is to characterize consistency of logic theories in propositional logic by means of topological concept. Based on the concepts of truth degree of formulas and similarity degree between formulas the concept of logic metric space has been proposed by the first author. It is proved in this note that a closed logic theory Γ is consistent if and only if it contains no interior point in the logic metric space. Moreover the relationship between logic closedness and topological closedness of a logic theory Γ is discussed. Finally, the concept of full divergency is also characterized by means of the topological concept of density. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

基于公式真度的公式集约简

基于经典命题逻辑的真度理论,讨论了经典命题逻辑系统当中公式集的约简问题。提出了真度约简及α-真度约简的概念,为公式集的约简提供了一种可行的操作方法。     

二值命题逻辑中基于前提信息的近似推理理论

以真度为基础,给出二值命题逻辑系统中基于前提信息的相似度和伪距离的概念以及伪距离的真度表示式,对二值命题逻辑中具有前提信息的近似推理问题进行讨论.     

关于随机真度的若干注记

以随机真度为基础,在三值R_0命题逻辑系统中给出了三种不同的近似推理模式并讨论了它们之间的关系,其次利用根的性质得出误差定义的若干推理结果.     

Fuzzy Horn logic I

The paper presents generalizations of results on so-called Horn logic, well-known in universal algebra, to the setting of fuzzy logic. The theories we consider consist of formulas which are implications between identities (equations) with premises weighted by truth degrees. We adopt Pavelka style: theories are fuzzy sets of formulas and we consider degrees of provability of formulas from theories. Our basic structure of truth degrees is a complete residuated lattice. We derive a Pavelka-style completeness theorem (degree of provability equals degree of truth) from which we get some particular cases by imposing restrictions on the formulas under consideration. As a particular case, we obtain completeness of fuzzy equational logic.