【摘要】本文介绍了二重命题逻辑系统■T4的形式语言和公理系统,并得出了有关该系统的重要定理。通过框架与模拟框架之间的桥梁,我们最终给出了二重命题逻辑的有效性是一种封闭框架类的有效性。利用二重命题逻辑的可能世界语义学,我们证明了■T4的可靠性与完全性。
【关键词】
《建筑知识》 2015-05-12
《中国医疗管理科学》 2015-05-12
《中国医疗管理科学》 2015-05-12
《中国医疗管理科学》 2015-05-12
《中外医疗》 2015-07-03
《广西广播电视大学学报》 2015-07-01
《铁道运营技术》 2015-06-25
《中外医疗》 2015-07-06
010-56259535
关注中教数据库
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
个人中心
退出
发表评论
登录后发表评论 (已发布 0条)点亮你的头像 秀出你的观点