【摘要】对照通常的古典谓词演算,我们从语形角度构造了一个古典谓词归纳演算。然后,仍然对照古典谓词演绎演算的通常语义解释,我们给出了此古典谓词归纳演算对应的"归纳语义",并通过澄清演绎语义和归纳语义的关系,我们证明了此古典谓词归纳演算和对于此归纳语义的一致性和完全性,以此给出它的一些元逻辑性质。最后,我们简要说明了使用同样的方法能够获得更多的古典归纳逻辑系统。
【关键词】
《建筑知识》 2015-05-12
《中国医疗管理科学》 2015-05-12
《中国医疗管理科学》 2015-05-12
《中国医疗管理科学》 2015-05-12
《数字家庭》 2015-07-06
《现代制造技术与装备》 2015-07-02
《广东微量元素科学》 2015-07-06
《现代制造技术与装备》 2015-07-02
010-56259535
关注中教数据库
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
个人中心
退出
发表评论
登录后发表评论 (已发布 0条)点亮你的头像 秀出你的观点