语言推理相关论文
G(o)del语言是继Prolog语言之后出现的新型说明性通用逻辑程序设计语言,它是建立在多态多类一阶逻辑基础上的强类型语言。G(o)del语......
本文以非形式逻辑的发展为背景,梳理和分析非形式逻辑中的论证概念。对论证概念的研究分为三个部分。首先,对非形式逻辑进行初步的梳......