直觉主义谓词逻辑相关论文
在达米特给出的直觉主义谓词逻辑矢列演算系统的基础上,构造一个与等价的系统L^*,这有助于研究直觉主义命题逻辑的可判定性问题。......
在达米特的直觉主义谓词逻辑的矢列式自然演绎系统N和公理化系统AxI的基础上,文章详细证明了系统AxI中的演绎定理,指出系统N与系统Ax......