关于APAL完全性的一个简要证明（英文）

发布时间：2018-06-02 16:11

  本文选题：完全性 + APAL　； 参考：《逻辑学研究》2015年01期

【摘要】：鲍博尼等人(P.Balbiani et al.,[2])提出了任意公开宣告逻辑(APAL)。它是普拉策(J.Plaza,[7])公开宣告逻辑的扩展,加入了关于宣告的量词。这种逻辑已经被公理化,但它的完全性证明总被认为可能会很复杂。在本文中,我们提供了关于任意公开宣告逻辑的一个简要的完全性证明。这个证明是鲍博尼等人([2])证明的优化版。
[Abstract]:Bowboni et al., P. Balbiani et al., [2] proposed arbitrary public declaration logic. It is an extension of the public proclamation logic of J. Plaza ([7]), adding quantifiers to proclamation. This logic has been axiomatic, but its complete proof is always considered to be complex. In this paper, we provide a brief complete proof of arbitrary open declaration logic. This certificate is an optimized version of the Bauboni et al. ([2]) proof.
【作者单位】： 图卢兹大学法国国家科学研究中心信息研究所;洛林大学法国国家科学研究中心信息与计算机科学研究与应用实验室;
【基金】：support from ERC project EPS 313360
【分类号】：B81

【共引文献】

相关期刊论文 前1条

1 陈晓华;;认知逻辑研究述评[J];哲学动态;2008年08期

相关硕士学位论文 前1条

1 赵荣盛;博弈逻辑中局中人有限理性研究[D];广西师范大学;2008年

【相似文献】

相关期刊论文 前10条

1 邓雄雁;胡泽洪;;协调、一致与一阶公理系统的强完全性[J];华南师范大学学报(社会科学版);2010年03期

2 霍书全;;Lukasiewicz3-值命题逻辑的强完全性证明[J];安徽大学学报(哲学社会科学版);2008年02期

3 李义民;;胡塞尔论形式公理系统的完全性[J];湖北社会科学;2013年12期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

相关会议论文 前9条

1 吴春;李勇刚;潘征夏;李洪波;王刚;杨杰先;代江涛;;“翻盖式”吻合矫治非心内型完全性肺静脉异位连接[A];中华医学会第八次全国小儿外科学术会论文集[C];2010年

2 丁雪芹;;完全性心内膜缺损患儿的监护[A];全国心脏内、外科专科护理学术会议论文汇编[C];2003年

3 宋心雨;;完全性肺静脉异位连接的解剖分型及临床意义[A];中华医学会第七次全国胸心血管外科学术会议暨2007中华医学会胸心血管外科青年医师论坛论文集心血管外科分册[C];2007年

4 苏惠芬;;婴儿完全性肺静脉异位连接的术后护理体会[A];全国儿科护理学术交流暨专题讲座会议论文汇编[C];2007年

5 乔彬;王同建;吴莉莉;张锋泉;宁岩松;朱萌;李海杰;马亚宾;井西波;王香荣;;完全性肺静脉异位连接的外科治疗[A];中华医学会第七次全国胸心血管外科学术会议暨2007中华医学会胸心血管外科青年医师论坛论文集心血管外科分册[C];2007年

6 徐银祥;蒋耀光;;局部晚期非小细胞肺癌外科治疗进展[A];中华医学会第六次全国胸心血管外科学术会议论文集（胸外科分册）[C];2006年

7 丁桂春;王建华;刘梅;牛海燕;周洁莹;;彩色多普勒超声心动图对完全性肺静脉异位连接的诊断价值[A];第十届全国超声心动图学术会议论文[C];2010年

8 樊斌;杨耀华;;成人完全性环形胰腺合并急性胰腺炎一例[A];第十一次全国中西医结合影像学术研讨会暨全国中西医结合影像学研究进展学习班资料汇编[C];2010年

9 周田华;汤逊;徐永清;林月秋;潘险峰;江慕尧;;腰4椎体创伤性完全性滑脱2例[A];第七届全国创伤学术会议暨2009海峡两岸创伤医学论坛论文汇编[C];2009年

相关重要报纸文章 前1条

1 特约通讯员　钱勇;完全性腹腔镜巨大脾脏切除获成功[N];光明日报;2004年

相关博士学位论文 前1条

1 周健生;结构系统完全性分析技术研究[D];哈尔滨工程大学;2002年

相关硕士学位论文 前1条

1 晁献召;冠状动脉慢性完全闭塞病变的临床与影像学分析[D];郑州大学;2009年

，

本文编号：1969381