相干逻辑相关论文
在情境中使用的否定,是相干否定;在世界中使用的否定,是经典否定。我首先给定了两个逻辑,一个是信息的基础相干逻辑L_1,另一个是与......
相干逻辑在20世纪20年代被提出来,目的是避免经典数理逻辑和模态逻辑中出现的实质蕴涵怪论和严格蕴涵怪论.蕴涵怪论,如p→(q→p),......
从经典命题逻辑到原始兰贝克演算,基于规则的存废形成了演算的"结构层级".对于自然语言的计算处理来说,各层级系统各有优劣.虽然原......
实质蕴涵的提出引起学界极大争议，蕴涵怪论一直是争论焦点之一。20世纪以来不少学者致力于构造排除蕴涵怪论的形式系统。制约逻辑和......
基本正系统B+是若干相干逻辑正系统的基础，通过添加新的公理模式就能在B+的基础上得到一系列不同的相干逻辑正系统。Meyer和Routley......
Stone Representation Theorem之于Boolean Algebra就象Cayley Theorem 之于Ab s tract Group Theory一样重要.本文推广Stone Repr......
相干逻辑的形式系统组成一个逻辑家族，这些逻辑系统的共同点是：坚持演绎推理的相干性，拒斥“结论的推导未实际使用前提”的推理方式。......
命题逻辑的一般弱框架择类语义是相干邻域语义的变形,其特点是：采用择类运算来刻画逻辑常项;语义运算与逻辑联结词之间有清晰的对应......
关系语义是相干逻辑中最为重要的语义学之一,但是关系语义一开始就以＂纯粹＂的形式语义的面貌出现,其中三元关系R的直观意思是什么并......
在概述“蕴涵怪论”与相干逻辑的产生的基础上,阐述相干逻辑对经典逻辑与模态逻辑的修改.认为相干逻辑不仅建立了自己庞大的形式系......
【正】 现代逻辑学以传统逻辑与正统的现代逻辑以及非正统的现代逻辑(模态逻辑、多值逻辑等)为基础,正在朝着数学方向、技术方向、......
本文提出了相干命题逻辑系统R的一种演绎生成算法——试探法。该算法采用后向推理法，依据推理规则将待证命题逐步分解成子命题并构......
从逻辑哲学的眼光看,辩证逻辑应当定位于一种独特的、富有哲理性的非经典逻辑,因此它归属于逻辑,而辩证法作为它的原型则归属于哲......
相干逻辑是现代逻辑的重要分支,它是异于经典逻辑的＂非经典逻辑＂。相干逻辑在批评经典蕴涵的基础上,从多个方面对经典逻辑进行了修改......
