直觉主义谓词逻辑与经典谓词逻辑的矢列演算系统

Sequence Calculus Systems for Classic Predicate Logic and Intuition Predicate Logic

在达米特给出的直觉主义谓词逻辑矢列演算系统的基础上,构造一个与等价的系统L^*,这有助于研究直觉主义命题逻辑的可判定性问题。与此同时,还构造经典谓词逻辑的矢列演算系统以及直觉主义谓词逻辑的矢列演算系统LK^*,这有助于探讨直觉主义逻辑与经典逻辑之间关系。

On the basis of Dummett's sequence calculus system I for intuition predicate logic,the article constructs an equivalent system L^*to I,which helps to study the decidability of intuition propositional logic.At the same time,the article also constructs the sequence calculus system L^*for classical predicate logic and the sequence calculus system L^*for intuition predicate logic,which will help to explore the relationship between classical logic and intuition logic.