自然演绎系统相关论文
在日常生活中，一个有效的推理通常可以用形式表示为“如果p，那么q；p，所以q”。也可以用符号表示为(p→q)Ap→q。这种有效式在逻辑中又......
人们赞美现代逻辑有许多说法，比如，它采用公理系统的方法，从而使逻辑成为一门科学；它采用自然演绎系统的方法，可以比较自然地刻画和描述......
范畴语法把自然语言的毗连生成看作是范畴的运算或推演，这种推演在计算机信息处理那里获得实现。在现代范畴语法看来，汉语的灵活语序......
本文研究抽象逻辑的自然演绎系统.针对一般的约束概念,给出基于高阶逻辑和类型理论的形式化描述.......
本文结合亚里士多德在分析三段论的有效式时用到的化归思想,运用集合论的知识,建立了自然演绎系统S＊,给出判定三段论的有效性的一种......
关于亚里士多德三段论的性质一直是一个争论不休的问题。其中的一个焦点问题就是亚里士多德的直言三段论是蕴涵式的系统还是推理规......
讨论了经典逻辑的自然演绎系统在模糊逻辑中的对应形式.基于著名的形式演绎系统L*,建立起对应的自然演绎系统L*ND,并且证明了这个......
用现代逻辑研究亚里士多德三段论是现代逻辑史研究的重要课题和重要方法之一。本刊今年第4期和第5期,分别发表了蔡曙山和张家龙同......
该文对Rips提出的“证明心理学理论”做了综合述评。这一理论主要包含三方面的内容:对推理过程与人类记忆相互关系的解释;(2)根据......
【正】 逻辑有效性(validity)问題是形式逻辑的主题,这是由形式逻辑的性质决定的。人们对“逻辑”向来有不同的理解,但各种理解似......
形式系统在类型上包括公理系统和自然推理系统,在构成要件上包括的形式语言和演绎装置。构造者的哲学背景、构造形式系统的理论对......
运用括号表示法来构建4值逻辑,其形式语言非常简洁,公式表达准确、无歧义,也更加简短。使用符合4值逻辑推理直觉的16条推理规则,可......
对偶直觉主义逻辑(DJ)一般是通过,在直觉主义逻辑的基础上,用蕴涵的对偶算子(-)替换直觉主义蕴涵算子(→)得到。关于DJ的研究,前人......
在命题逻辑中,自然演绎方法提供一种检验所有论证有效性的方法,简单的说就是从前提或假设出发,运用有效推论规则和置换规则,一步一......
亚里士多德的逻辑学在西方思想史上的地位是无可比拟的。随着现代逻辑的诞生,亚里士多德逻辑学的影响已经不像过去那样显赫,但是这......
