作者：刘新文存在图组合性推演系统
摘要：现代逻辑的奠基者之一皮尔士在1896年创造了存在图系统,存在图由Alpha图、Beta图和Gamma图三个部分组成,分别对应于古典命题逻辑、谓词逻辑、模态逻辑与高阶逻辑。首先介绍皮尔士的Alpha图,针对它的非组合性提出一个递归定义来刻画一部分皮尔士原来的Alpha图,并给出这部分Alpha图的一个形式推演系统。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《毕节学院学报》是一本有较高学术价值的大型月刊，一贯坚持“二为”方向、坚持“双百”方针。自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度，颇受业界和广大读者的关注和好评。 《毕节学院学报》已正式更名为《贵州工程应用技术学院学报》。
省级期刊
人气 238531 评论 36
人气 154224 评论 33
人气 151901 评论 53
人气 123135 评论 54
