• 语法完全性 - 引用次数：2

  This paper study the syntactic completeness of ML and proved the following results: (1) medium propositional logic MP and its extension MP have syntactic completeness,medium first order logic MF and its extensions MF, ME have no syntactic completeness.

  本文研究了ML的语法完全性,证明了如下结果:(1)ML中的中介命题逻辑系统MP及其扩张MP*是语法完全的,中介谓词逻辑系统MF与其扩张MF*,以及含有等词的中介谓词逻辑系统ME不是语法完全的。

  参考来源 - 中介逻辑ML的语法完全性 in C

·2,447,543篇论文数据，部分数据来源于NoteExpress