【摘要】：鞠實(shí)兒等(2003)在開放世界預(yù)設(shè)和真值條件理論基礎(chǔ)上,構(gòu)造了3-值語句演算系統(tǒng)SLO及其形式語義理論。該文采用Priest(2001)列表證明的表述形式,結(jié)合Fitting(1995)多值邏輯列表證明實(shí)質(zhì),克服兩者的一些缺陷,給出了一種改良的3-值邏輯列表證明方法。針對SLO的形式語義,該文給出各個聯(lián)結(jié)詞的列表證明規(guī)則,構(gòu)造出列表證明系統(tǒng)SLO*,并且證明了這一系統(tǒng)相對SLO語義是可靠的和完全的。
[Abstract]:Ju Shier et al. (2003)constructed SLO and its form semantic theory based on the theory of open world preset and true value condition. In this paper, a modified 3-value logical list proof method is presented by using the form of Priest(2001)list certification and combining Fitting(1995)multi-valued logic list to prove the essence of both. Aiming at the formal semantics of SLO, this paper gives the list proof rules of each combination word, constructs the list proof system SLO*, and proves that this system is reliable and complete with respect to SLO semantics.
【作者單位】： 中山大學(xué)邏輯與認(rèn)知研究所 中山大學(xué)邏輯與認(rèn)知研究所
【基金】：教育部人文社科重點(diǎn)研究基地重大項(xiàng)目
【分類號】：B81

【參考文獻(xiàn)】

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

1 鞠實(shí)兒;論可能世界集合的封閉性與否定聯(lián)結(jié)詞的關(guān)系[J];自然辯證法研究;1997年11期

【共引文獻(xiàn)】

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

1 倪蔭林;推理形式問題辨正──兼與龔啟榮先生商榷[J];錦州師范學(xué)院學(xué)報(哲學(xué)社會科學(xué)版);1999年01期

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

1 郭佳宏;理想自省主體的信念修正[D];中山大學(xué);2006年

【相似文獻(xiàn)】

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

1 朱子南;;“校代表證”的使命[J];世紀(jì);2008年02期

2 孫云曉;鄭新蓉;;一個老師的建議[J];上海教育;2006年Z1期

3 丁曉平;;表情是我們生活的表語[J];解放軍生活;2006年04期

4 田成剛;;晏陽初平民教育與鄉(xiāng)村建設(shè)實(shí)踐述論——以定縣為中心的考察[J];歷史教學(xué)問題;2006年03期

5 譚文華;;波普爾反歸納思想試探——兼論歸納與演繹的關(guān)系[J];山東農(nóng)業(yè)大學(xué)學(xué)報(社會科學(xué)版);2006年03期

6 徐明;;不倫不類開放類 評鞠實(shí)兒的開放類邏輯[J];科學(xué)文化評論;2006年04期

7 康宏逵;;又不忍沉默[J];科學(xué)文化評論;2006年04期

8 王志;耿志民;歐陽詢;任萍;;吳青:隨身攜帶《憲法》的人大代表[J];書摘;2006年07期

9 楊廣敏;徜徉于道器之間——中國陶瓷藝術(shù)大師戚培才的藝術(shù)追求[J];陶瓷研究;2005年01期

10 陳建飛;穆時英小說現(xiàn)代性之我見[J];中文自學(xué)指導(dǎo);2005年03期

相關(guān)會議論文 前10條

1 張斌;宋曉偉;徐君;閆文付;于吉紅;鄧風(fēng);徐如人;;有機(jī)模板劑在相似晶化條件下的結(jié)構(gòu)導(dǎo)向能力研究[A];中國化學(xué)會第27屆學(xué)術(shù)年會第08分會場摘要集[C];2010年

2 ;第六屆全國口腔種植學(xué)術(shù)會參會須知[A];第六屆全國口腔種植學(xué)術(shù)會議論文匯編[C];2009年

3 譚素娟;;試論《金匱要略》下利病辨病思路與病機(jī)轉(zhuǎn)變規(guī)律[A];仲景醫(yī)學(xué)求真（續(xù)三）[C];2009年

4 郭華;;朱肱《南陽活人書》治傷寒學(xué)術(shù)思想探析[A];仲景醫(yī)學(xué)求真（續(xù)三）[C];2009年

5 朱紅梅;;淺析《傷寒論》中否定性資料的辨證意義[A];中華中醫(yī)藥學(xué)會中醫(yī)診斷學(xué)分會第十次學(xué)術(shù)研討會論文集[C];2009年

6 李陽福;;對腎病綜合征的朝醫(yī)治療[A];東北三省及內(nèi)蒙古地區(qū)遺傳學(xué)研究進(jìn)展學(xué)術(shù)研討會論文匯編[C];2009年

7 ;食品功能和健康聲稱高層論壇(SFFFHC)會議須知[A];第六屆學(xué)術(shù)研討會 食品功能和健康聲稱高層論壇會議資料[C];2009年

8 陳旭虹;;學(xué)習(xí)《傷寒論.太陽病篇》心得[A];浙江省中醫(yī)藥學(xué)會眼科分會2009繼續(xù)教育學(xué)習(xí)班論文集[C];2009年

9 丁世幸;;《傷寒論》痛證治法述要[A];第八次全國中醫(yī)藥傳承創(chuàng)新與發(fā)展學(xué)術(shù)研討會論文集[C];2009年

10 ;會議指南[A];第六屆中國美容與整形醫(yī)師大會;第七屆東方國際美容外科會議;第97屆日本美容外科學(xué)會大會論文匯編[C];2009年

相關(guān)重要報紙文章 前10條

1 王志強(qiáng)　記者 邵海峰;首個“全職能、一站式”辦稅服務(wù)廳建成[N];大連日報;2010年

2 本報評論員 唐彬;當(dāng)以更大熱情推動?xùn)|莞進(jìn)步[N];東莞日報;2010年

3 魏文浩　河北省保定市清苑縣中醫(yī)醫(yī)院 付騫 北京中醫(yī)藥大學(xué)東直門醫(yī)院;姜良鐸辨治四時感冒經(jīng)驗(yàn)[N];中國中醫(yī)藥報;2010年

4 本報記者 金艾　實(shí)習(xí)生 謝娟娟;畢節(jié)地區(qū)地稅局創(chuàng)新方法服務(wù)非公企業(yè)[N];貴州日報;2010年

5 張新生　于濤;涉稅業(yè)務(wù)“一窗通辦”[N];濟(jì)寧日報;2010年

6 張新生　于濤;市區(qū)國稅局辦稅服務(wù)又增新場所[N];濟(jì)寧日報;2010年

7 四川省達(dá)州市綠州保健中心 歐陽軍;臨床常用方劑對比(四)[N];中國中醫(yī)藥報;2009年

8 云南省中醫(yī)醫(yī)院藥劑科 韓尚清;中醫(yī)對飲食的宜與忌[N];保健時報;2009年

9 通訊員田漢清 劉庚;市國稅局扎實(shí)推進(jìn)車輛購置稅減征工作[N];孝感日報;2009年

10 記者 張志勇;國稅地稅推廣聯(lián)合辦稅登記[N];江西日報;2009年

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

1 李成衛(wèi);表里的界限[D];北京中醫(yī)藥大學(xué);2005年

2 任永欣;紫蘇葉揮發(fā)油的抗炎作用及機(jī)理研究[D];成都中醫(yī)藥大學(xué);2002年

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

1 王宇光;O，O-二乙基甲基亞膦酸酯的合成及應(yīng)用研究[D];浙江工業(yè)大學(xué);2004年

2 張建;雙黃連滴劑治療小兒外感發(fā)熱風(fēng)熱襲表證的臨床研究[D];南京中醫(yī)藥大學(xué);2004年

3 辛清泉;會計(jì)盈余質(zhì)量：理論分析與經(jīng)驗(yàn)證據(jù)[D];福州大學(xué);2004年

4 張新力;宣肺透解法治療上呼吸道感染的初步研究[D];北京中醫(yī)藥大學(xué);2004年

5 鄭惠仁;從《傷寒論》辨太陽病脈證并治篇的分析對辛溫解表法的理論研究[D];北京中醫(yī)藥大學(xué);2002年

6 王慧;信息技術(shù)環(huán)境下建構(gòu)開放型知識表證系統(tǒng)的教學(xué)策略[D];東北師范大學(xué);2002年

7 何麗清;小青龍湯證多形性的臨床觀察和文獻(xiàn)研究[D];成都中醫(yī)藥大學(xué);2001年

，

本文編號：2522770