非经典逻辑相关论文
作为计算理论中最简单的数学模型,有限自动机不仅是复杂性理论的理论基础,而且与其他领域密切相关,例如神经网络、模式识别、密码......
该文主要进行了粗糙集的数学基础研究,与程度粗糙集和变精度粗糙集两个广义粗糙集模型的探讨.第一章,主要研究了粗糙集与拓扑的关......
本文的主要工作分两部分内容：格蕴涵代数的构造理论； L-fuzzy双拓扑基于一个L-fuzzy拓扑的表述和构造理论． 一、格蕴涵代数方面 ......
建立了基于完备剩余格值逻辑的自动机理论的基本框架.首先延拓状态转移关系,特别是得到了模糊(l值)自动机对剩余格的一个刻画;然后......
引入覆盖空间,定义了其邻域、内部、闭包、测度等概念,研究了它们的性质.得出了粗糙集近似空间和拓扑空间都是具体覆盖空间的重要......
苏姗·哈克使逻辑哲学发展成为独立的学科.逻辑哲学的中心问题是对于逻辑系统与现实原型“恰当相符性”的不断探索.逻辑理论具有可......
“弗协调逻辑”(paraconsistent logic),又译作“次协调逻辑”、“超协调逻辑”,是非经典逻辑的一个新兴分支.它是一种不能从矛盾......
揭示了基于完备剩余格值逻辑的自动机(称值自动机)与真值格(剩余格)之间的一些等价关系.特别是建立了值自动机的可恢复性(retrieva......
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7......
初步建立基于完备剩余格值逻辑自动机与文法理论的基本框架.引入l值正则文法的概念,证明了任意l值自动机识别的语言等价于某种l值......
弗协调逻辑是非经典逻辑中最具有革命性的逻辑学分支.它限制了经典逻辑中矛盾律作用的范围,能够容纳有意义的真矛盾,能够作为一切......
给出了Lawry不确定模型的新的性质.基于Lawry模型,引入了同主语同标签Vague命题的Lawry真度的概念.由此,提出了一种非经典逻辑,称......
证明了剩余格和正则剩余格中一些典型的附加条件之间的等价性,引入了正规剩余格的概念并给出了其若干性质.以此为基础,讨论了R0-代......
作者在另一文中,基于Lawry的不确定模型,提出了一种新的非经典命题逻辑,称为同主语同标签Vague命题的Lawry逻辑.本文又扩充了它的......
正确把握逻辑的研究对象、方法、范围、类型等相关问题的还需注意的一个问题是对逻辑本质认识的澄清。一般认为逻辑是关于思维形式......
文章概述了概率与数理统计、模糊数学、粗糙集、非经典逻辑及灰色系统等几种处理不确定性信息理论的特点,对它们彼此之间的相似和......
三Ⅰ推理方法是一种新的模糊推理方法，通过已有的研究成果表明，在许多方面它优于传统的CRI推理方法，它将成为模糊系统和人工智能的理......
1.引言自动推理作为自动定理证明的扩展,在计算机科学,特别是人工智能领域中占有重要的地位.许多系统,都是以推理系统作为其核心部......
问句逻辑是隶属于广义认识论逻辑门类下的一个分支学科,主要研究问句的逻辑性质及其推理关系。以亚里斯多德为代表的古典问句逻辑......
目前计算机科学以惊人的速度不断发展,作为其核心分支的人工智能研究也取得了很大的突破。在成就的背后,逻辑学是推动其前进的主要......
基于对Vague（或Fuzzy）概念的一种新的认知,使用随机集和概率论,引入了论域表达式及其适当测度的概念。进一步地,通过引入同Vague谓词......
逻辑学是一门古老的科学,从它产生至今已有两千多年的历史.逻辑理论的历史大致经历了传统逻辑和现代逻辑两个阶段;而现代逻辑的发......
根据格蕴涵代数的性质,利用蕴涵滤子的概念,给出一种确定任意元素的余元的思路,指出在几种特殊的分配格上不能定义格蕴涵代数,给出......
在格蕴涵代数中定义了一类特殊的素对偶理想，讨论了它们的结构和性质，证明了该格蕴涵代数中的蕴涵运算可以由这些特殊的素对偶理想所......
证明了LΠ是Schweizer—Sklar参数化三角模及其剩余算子的逻辑。这一结果给出了构造两个或多个模糊逻辑的定理的交集的统一语义的......
对吴氏左（右）剩余广群，给出一种新而且简化的定义，并详细地讨论其基本性质。用其主要结论得到完备格上的所有无穷∨-分配强伪t-模与所......
讨论基于拟t-模的方程T（a，x）=b与方程I（a，x）=b的解的结构，得到了它们的解集以及它们有解的充分必要条件，并利用方程T（a，x）=6与方程I（a，x）=b的解集......
进一步讨论蕴涵算子的直积分解，描述积格上可以分解为两个蕴涵算子直积的蕴涵算子的特性，并研究积格上S-蕴涵、R-蕴涵、n-反演R-蕴涵......
作为思维基本规律的排中律是非形式化的，它具有直观普效性；在经典的（一阶）逻辑系统内，排中律作为系统内的可证公式，具有系统内严格定义的......
进一步研究完备Brouwer格上伪t-模和蕴涵算子，讨论完备Brouwer格上伪t-模和蕴涵算子的直积分解。......
举例说明关于伪t-模与蕴涵算子的文献[FSS 132（2002）113]中定理4．1是错误的，此定理还被接连用到[FSS 139（2003）673]及其它文献。本文进而......
作为智能科学的数学基础之一,非经典逻辑(主要指非经典数理逻辑)及相关代数结构扮演着十分重要的角色.对源于非经典逻辑的代数结构......
利用方程T(a,x)=b与方程I(a,x)=b的解集研究方程T((a1,a2),(x1,x2))=(b1,b2)以及方程I((a1,a2),(x1,x2))=(b1,b2)的解结构.......
进一步研究完备Brouwer格上伪t-模与蕴涵算子，给出同二元算子生成的伪t-模与蕴涵算子的计算公式。......
通过应用完全剩余格值逻辑语义的方法把不分明化一致空间和不分明化一致拓扑推广为L-不分明化一致空间和L-不分明化一致拓扑。并且......
在现代逻辑文献中,"哲学逻辑"是个多义词.作者认为哲学逻辑是具有哲学旨趣或涉及哲学事业的非经典逻辑.哲学逻辑的崛起引发诸多的......
推理关系的形式化带来了“实质蕴涵怪论”问题，本文对推理关系形式化引起的歧义和“实质蕴涵怪论”的产生进行了分析。通过分析认为......
20世纪60年代，经典逻辑发展相对停滞，非经典逻辑蓬勃兴起。在对逻辑学、自然科学及社会科学等领域中许多不协调命题进行思索后，人们对......
哲学逻辑是伴随着现代逻辑与分析哲学、语言哲学的发展而出现的一个新兴交叉研究领域。作为不同于经典逻辑的非经典逻辑、不同于理......
进一步讨论完备格上的拟t-模与剩余蕴涵算子，研究了它们的直积与直积分解，最终得到了直积分解的充要条件，解决了一个关于模与蕴涵算子......
研究了sup-T类与inf-I类方程的解结构,并在特定条件下分别给出了它们的解集,其中L为完备Brouwer格.T为无穷V-分配伪t-模,I是无穷∧......
基于目前阻碍人工智能发展的各种因素,提出了人工智能发展中的逻辑问题:非确定性推理、形象思维和常识问题.指出这些逻辑问题是制......
在多值逻辑Tableau推理的基础上,提出了一种基于集合符号的自动推理扩展方法.将符号集合作为真值,减少了Tableau的推理分枝,并可以......
通常,人们认为Kiyoshi Iséki在20世纪60年代引入的BCI-代数是组合逻辑中BCI逻辑的代数对等物。然而这种广为人知的断言却是有......
将L-不分明化拓扑中的L-不分明化闭包运算的概念扩充到模糊集合上；并把杨忠道定理推广到L-不分明化拓扑中。......
首先，给出一种新的带两个参数的左连续三角模族T（q,p）-LGN（（q，p）∈[-1，1-1×（-∞，0））及其伴随蕴涵算子族R（q,p）-LGN（（q，p）∈[-1，1]×（-∞，0）），分另4......
