本文選題：完全性 + APAL��； 參考：《邏輯學(xué)研究》2015年01期

【摘要】：鮑博尼等人(P.Balbiani et al.,[2])提出了任意公開宣告邏輯(APAL)。它是普拉策(J.Plaza,[7])公開宣告邏輯的擴(kuò)展,加入了關(guān)于宣告的量詞。這種邏輯已經(jīng)被公理化,但它的完全性證明總被認(rèn)為可能會(huì)很復(fù)雜。在本文中,我們提供了關(guān)于任意公開宣告邏輯的一個(gè)簡要的完全性證明。這個(gè)證明是鮑博尼等人([2])證明的優(yōu)化版。
[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.
【作者單位】： 圖盧茲大學(xué)法國國家科學(xué)研究中心信息研究所;洛林大學(xué)法國國家科學(xué)研究中心信息與計(jì)算機(jī)科學(xué)研究與應(yīng)用實(shí)驗(yàn)室;
【基金】：support from ERC project EPS 313360
【分類號(hào)】：B81

【共引文獻(xiàn)】

相關(guān)期刊論文 前1條

1 陳曉華;;認(rèn)知邏輯研究述評(píng)[J];哲學(xué)動(dòng)態(tài);2008年08期

相關(guān)碩士學(xué)位論文 前1條

1 趙榮盛;博弈邏輯中局中人有限理性研究[D];廣西師范大學(xué);2008年

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 鄧雄雁;胡澤洪;;協(xié)調(diào)、一致與一階公理系統(tǒng)的強(qiáng)完全性[J];華南師范大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2010年03期

2 霍書全;;Lukasiewicz3-值命題邏輯的強(qiáng)完全性證明[J];安徽大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2008年02期

3 李義民;;胡塞爾論形式公理系統(tǒng)的完全性[J];湖北社會(huì)科學(xué);2013年12期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

相關(guān)會(huì)議論文 前9條

1 吳春;李勇剛;潘征夏;李洪波;王剛;楊杰先;代江濤;;“翻蓋式”吻合矯治非心內(nèi)型完全性肺靜脈異位連接[A];中華醫(yī)學(xué)會(huì)第八次全國小兒外科學(xué)術(shù)會(huì)論文集[C];2010年

2 丁雪芹;;完全性心內(nèi)膜缺損患兒的監(jiān)護(hù)[A];全國心臟內(nèi)、外科�？谱o(hù)理學(xué)術(shù)會(huì)議論文匯編[C];2003年

3 宋心雨;;完全性肺靜脈異位連接的解剖分型及臨床意義[A];中華醫(yī)學(xué)會(huì)第七次全國胸心血管外科學(xué)術(shù)會(huì)議暨2007中華醫(yī)學(xué)會(huì)胸心血管外科青年醫(yī)師論壇論文集心血管外科分冊(cè)[C];2007年

4 蘇惠芬;;嬰兒完全性肺靜脈異位連接的術(shù)后護(hù)理體會(huì)[A];全國兒科護(hù)理學(xué)術(shù)交流暨專題講座會(huì)議論文匯編[C];2007年

5 喬彬;王同建;吳莉莉;張鋒泉;寧巖松;朱萌;李海杰;馬亞賓;井西波;王香榮;;完全性肺靜脈異位連接的外科治療[A];中華醫(yī)學(xué)會(huì)第七次全國胸心血管外科學(xué)術(shù)會(huì)議暨2007中華醫(yī)學(xué)會(huì)胸心血管外科青年醫(yī)師論壇論文集心血管外科分冊(cè)[C];2007年

6 徐銀祥;蔣耀光;;局部晚期非小細(xì)胞肺癌外科治療進(jìn)展[A];中華醫(yī)學(xué)會(huì)第六次全國胸心血管外科學(xué)術(shù)會(huì)議論文集（胸外科分冊(cè)）[C];2006年

7 丁桂春;王建華;劉梅;牛海燕;周潔瑩;;彩色多普勒超聲心動(dòng)圖對(duì)完全性肺靜脈異位連接的診斷價(jià)值[A];第十屆全國超聲心動(dòng)圖學(xué)術(shù)會(huì)議論文[C];2010年

8 樊斌;楊耀華;;成人完全性環(huán)形胰腺合并急性胰腺炎一例[A];第十一次全國中西醫(yī)結(jié)合影像學(xué)術(shù)研討會(huì)暨全國中西醫(yī)結(jié)合影像學(xué)研究進(jìn)展學(xué)習(xí)班資料匯編[C];2010年

9 周田華;湯遜;徐永清;林月秋;潘險(xiǎn)峰;江慕堯;;腰4椎體創(chuàng)傷性完全性滑脫2例[A];第七屆全國創(chuàng)傷學(xué)術(shù)會(huì)議暨2009海峽兩岸創(chuàng)傷醫(yī)學(xué)論壇論文匯編[C];2009年

相關(guān)重要報(bào)紙文章 前1條

1 特約通訊員　錢勇;完全性腹腔鏡巨大脾臟切除獲成功[N];光明日?qǐng)?bào);2004年

相關(guān)博士學(xué)位論文 前1條

1 周健生;結(jié)構(gòu)系統(tǒng)完全性分析技術(shù)研究[D];哈爾濱工程大學(xué);2002年

相關(guān)碩士學(xué)位論文 前1條

1 晁獻(xiàn)召;冠狀動(dòng)脈慢性完全閉塞病變的臨床與影像學(xué)分析[D];鄭州大學(xué);2009年

，

本文編號(hào)：1969381