【摘要】：鞠實兒等(2003)在開放世界預設(shè)和真值條件理論基礎(chǔ)上,構(gòu)造了3-值語句演算系統(tǒng)SLO及其形式語義理論。該文采用Priest(2001)列表證明的表述形式,結(jié)合Fitting(1995)多值邏輯列表證明實質(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.
【作者單位】： 中山大學邏輯與認知研究所 中山大學邏輯與認知研究所
【基金】：教育部人文社科重點研究基地重大項目
【分類號】：B81

【參考文獻】

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

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

【共引文獻】

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

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

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

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

【相似文獻】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2 本報評論員 唐彬;當以更大熱情推動東莞進步[N];東莞日報;2010年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

，

本文編號：2522770