<正>令A为一个可数一阶语言,T为A的一个协调理论,亦可以为空理论,引入一个可数无穷的新常项符号集(?)={c_1,c_2,……},组成一个新......

该文通过对非单调推理主要分支的考察,提出了以开放世界逻辑 解决非单调问题的方法.首先,该文把缺省理论的单调性条件从规范情形推......

开放逻辑系统ＯＬＳ（ＯｐｅｎＬｏｇｉｃＳｙｓｔｅｍ）￣［１］是李未教授最近提出的新型逻辑系统，旨在从根本上改变传统的逻辑和形式系统。本文论述了开放逻辑提出的背景；说明逻辑系......