直觉主义谓词逻辑与经典谓词逻辑的矢列演算系统-贵州工程应用技术学院学报-好投稿

好投稿

搜索

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

余军成贵州工程应用技术学院逻辑与文化研究中心; 贵州毕节551700

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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社

一对一咨询服务、简单快捷、省时省力

直邮到家、实时跟踪、更安全更省心

去除中间环节享受低价，物流进度实时通知

正版杂志，匹配度高、性价比高、成功率高