项目编号:17GZYB50论文

摘要：在达米特给出的直觉主义谓词逻辑矢列演算系统的基础上，构造一个与等价的系统，这有助于研究直觉主义命题逻辑的可判定性问题。与此同时，还构造经典谓词逻辑的矢列演算系统以及直觉主...