期刊大全 杂志订阅 SCI期刊 投稿指导 期刊服务 文秘服务 出版社 登录/注册 购物车(0)
首页 > 期刊 > 人文社会科学 > 哲学与人文科学 > 世界文学 > 贵州工程应用技术学院学报 > 直觉主义谓词逻辑与经典谓词逻辑的矢列演算系统 【正文】
摘要:在达米特给出的直觉主义谓词逻辑矢列演算系统的基础上,构造一个与等价的系统L^*,这有助于研究直觉主义命题逻辑的可判定性问题。与此同时,还构造经典谓词逻辑的矢列演算系统以及直觉主义谓词逻辑的矢列演算系统LK^*,这有助于探讨直觉主义逻辑与经典逻辑之间关系。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
投稿咨询 免费咨询 杂志订阅
一对一咨询服务、简单快捷、省时省力
直邮到家、实时跟踪、更安全更省心
去除中间环节享受低价,物流进度实时通知
正版杂志,匹配度高、性价比高、成功率高