关于开放逻辑的可判定性

开放逻辑是用于刻画知识的增长,更新及假说进化的一个引人注目的形式逻辑理论。文中描述了在开放逻辑中什么是典型的证明论问题,并形式地定义了开放证明的概念。关于开放逻辑中的判定性问题,得到的结论是:(1)一致的开放逻辑系统的开放证明问题是半可判定的(文中给出了一个判定算法);(2)不一致的开放逻辑系统的开放证明问题不是半可判定的。