修正的RDP逻辑系统中的广义重言式理论

提出修正的RDP逻辑系统,并证明了此系统中的广义重言式有更加精细的区分。利用广义重言式概念得到公式集F(S)的一个分划,建立了修正的RDP逻辑系统中的各类广义语义MP规则与广义语义HS规则。     

n值逻辑系统S_n的子代数及其重言式理论

讨论了n值逻辑系统Sn,给出了判断其子代数的充要条件;并比较了不同的逻辑系统Sn中的重言式,同时给出了逻辑系统Sn中判断公式不是重言式的充分条件。     

n值标准序列逻辑系统Sn的子代数及其重言式理论

讨论了n值标准序列逻辑系统Sn,给出了判断其子代数的充要条件,并比较了不同的逻辑系统Sn中的重言式,同时给出了逻辑系统Sn中判断公式不是重言式的充分条件．     

n值标准序列逻辑系统S_n的子代数及其重言式理论

讨论了n值标准序列逻辑系统Sn,给出了判断其子代数的充要条件,并比较了不同的逻辑系统Sn中的重言式,同时给出了逻辑系统Sn中判断公式不是重言式的充分条件.     

Gainse-Rescher逻辑系统中子代数的广义矛盾式

本文讨论Gainse-Rescher逻辑系统中序稠密子代数的广义矛盾式,并利用可达广义矛盾式概念在Gr的序稠密子代数中给出公式集F(S)的一个分划。     

修正的RDP系统中的一种升级算法及其性质

通过对修正的RDP逻辑系统的研究,给出该系统中F(S)关于~同余的一个分划;并给出修正的RDP系统中广义重言式之间的一种升级算法及其性质,证明在修正的RDP系统中,重言式不可能由对非重言式进行有限次升级算法得到.     

逻辑系统的重言式理论

引入了五值逻辑系统,在该系统中,建立了相应的重言式理论、准重言式理论,得到一些结论.     

Gainse-Rescher逻辑系统中的广义重言式理论

将王国俊教授在逻辑系统Ｗ,Ｗ,Ｗｋ中的广义重言式理论进行推广,并应用到了Ｇａｉｎｓｅ－Ｒｅｓｃｈｅｒ逻辑系统Ｇｒ,Ｇｒ,Ｓｎ中,主要结果是：在逻辑系统Ｇｒ,Ｇｒ中,重言式不可能由对非重言式进行有限次升级算法得到;在逻辑系统Ｓｎ中,对任一公式最多进行ｎ次升级算法即可得到重言式;利用可达广义重言式概念和ａ－矛盾式概念分别在Ｇｒ,Ｇｒ,Ｓｎ中给出了Ｆ（Ｓ）的一个关于一同余的分划。     

几种逻辑系统中的近似推理理论

借助于逻辑系统中命题的真度理论, 引入命题之间的逻辑度量的概念, 并讨论其性质, 以此在几种常见的逻辑系统中讨论近似推理问题.     

略论统一的理论思维逻辑系统

<正> 从一定意义上可以说,逻辑学正在从单一学科逐步形成为由既相对独立又有内在联系的诸多学科组成的科学体系。这个体系包括若干基本逻辑分支和更多的应用逻辑分支。 抽象理论思维逻辑是辩证理论思维逻辑的子系统。所谓理论思维,就是人们在认识过程中借助于概念、范畴来描述或解释对象的思维过程。抽象理论思维是指以类概念及其体系揭示事物一般本质和稳定性规律的思维。抽象理论思维包括初级抽象理论思维(即传统的形式逻辑管辖的思维领域)和高级抽象理论思维(由标准符号逻辑管辖)。抽象理论思维逻辑是辩证理论思维逻辑的子系统,笔者认为有如下的理由。     

ヒukasiewicz三值命题逻辑中公式的可靠真度理论

基于均匀概率空间的无穷乘积在ヒukasiewicz三值命题逻辑中引入了公式的可靠真度概念,证明了全体公式的可靠真度值之集在[0,1]中没有孤立点;利用可靠真度定义了可靠相似度和伪距离,进而建立了逻辑度量空间,证明了该空间中没有孤立点,为进一步在三值命题逻辑中展开近似推理奠定了基础.     

n值Lukasiewicz命题逻辑系统中公式的矛盾度理论

在n值Lukasiewicz命题逻辑系统中运用公式的矛盾度概念,讨论了公式矛盾度的部分重要性质,给出了Lukasiewicz命题逻辑系统中的矛盾度并推理规则,进而讨论了矛盾度与推理规则之间的关系.     

二值命题逻辑系统中公式的语构真度理论

从语构的角度给出公式的真度的形式化定义,并由语构真度诱导出相似度和伪距离,给出相似度和伪距离的基本性质,讨论了语构真度在推理中的应用。     

金属断裂及断口分类的逻辑问题与修正

剖析了一些文献中关于金属断裂及断口分类方面普遍存在的逻辑错误,提出了笔者的分类系统方案。     

一种S-蕴涵模糊逻辑系统的真度理论

利用计量逻辑学中真度理论的思想,首次对S-蕴涵的模糊逻辑系统的真度理论进行研究.在模糊逻辑与语义解释为乘积算子,蕴涵解释为其相应S-蕴涵的模糊逻辑系统中,借助逻辑公式A所诱导的函数引入逻辑公式A的积分真度概念,建立一种S-模糊逻辑系统下的真度理论,得到其真度推理规则.     

逻辑功能与逻辑体制

对同一逻辑门电路，既可采用正逻辑体制，亦可采用负逻辑体制，还可采秀混和逻辑体制，选用何种逻辑体制，应视分析和设计逻辑电路的方便与否而定。     

二型模糊系统理论与应用研究

回顾了二型模糊集合的基本概念与运算方法,重点介绍了二型模糊逻辑系统及区间二型模糊系统的相关知识,概述了二型模糊系统近几年的成功应用案例,最后总结了二型模糊系统的不足以及发展方向.     

二值逻辑的D-条件真度理论

文章在二值命题逻辑中公式的D-随机真度和条件真度的基础上,在D-逻辑度量空间（F（S）,ρD）提出了D-条件真度的概念,同时讨论了D-条件真度的有关性质,并引入了基于Γ的矛盾式与重言式的概念和公式A与B基于Γ逻辑等价的概念;进一步给出了公式间D-条件相似度和D-条件逻辑伪距离的概念,同时讨论了它们的性质。     

浅析逻辑学与知识组织

从逻辑学角度出发对知识组织进行了分析,揭示了知识组织是如何运用逻辑学理论进行研究和发展的。