直觉主义谓词逻辑与经典谓词逻辑的矢列演算系统
贵州工程应用技术学院逻辑与文化研究中心; 贵州毕节551700
- 直觉主义谓词逻辑
- 经典谓词逻辑
- 矢列演算系统
摘要：在达米特给出的直觉主义谓词逻辑矢列演算系统的基础上,构造一个与等价的系统L^*,这有助于研究直觉主义命题逻辑的可判定性问题。与此同时,还构造经典谓词逻辑的矢列演算系统以及直觉主义谓词逻辑的矢列演算系统LK^*,这有助于探讨直觉主义逻辑与经典逻辑之间关系。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
