發(fā)布時(shí)間：2018-04-13 20:06

  本文選題：開放世界 + 三值邏輯　； 參考：《中山大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版)》2008年02期

【摘要】：Kleene三值邏輯的蘊(yùn)含詞"→"和開放世界假定的否定詞"嗀"構(gòu)成的三值命題邏輯系統(tǒng)沒有重言式,這使得在該系統(tǒng)內(nèi)進(jìn)行推理變得比較困難,而正確刻畫語義,進(jìn)而進(jìn)行正確推理通常是我們構(gòu)造邏輯系統(tǒng)的目的。既然該命題邏輯系統(tǒng)難以進(jìn)行推理,文章通過引進(jìn)真算子T和F,直接把背后的語義推理形式化,給出三值命題邏輯語義公理系統(tǒng)SKO。文章還給出了嚴(yán)格的形式語義,并且用該語義理論證明了SKO的可靠性和完全性。
[Abstract]:There is no tautology in the ternary propositional logic system consisting of the Kleene ternary logic and the open world supposition of the negative word "Li", which makes it more difficult to infer in the system, and correctly portray the semantics.Then correct reasoning is usually the purpose of constructing logical system.Since the propositional logic system is difficult to infer, this paper formalizes the semantic reasoning directly by introducing true operators T and F, and gives the semantic axiom system SKO of ternary propositional logic.In this paper, strict formal semantics are given, and the reliability and completeness of SKO are proved by using the semantic theory.
【作者單位】：
【基金】：教育部人文社會(huì)科學(xué)基地重大項(xiàng)目(項(xiàng)目編號(hào)2000DXM720.40002)
【分類號(hào)】：B815.2

【參考文獻(xiàn)】

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

1 鞠實(shí)兒;開放類邏輯的哲學(xué)基礎(chǔ)——一種非規(guī)范三值內(nèi)涵語義理論[J];中國社會(huì)科學(xué);2004年03期

【共引文獻(xiàn)】

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

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

2 易永勝;;不確定性決策的邏輯心智模型研究[J];天津商學(xué)院學(xué)報(bào);2007年02期

3 榮立武;李建華;;內(nèi)涵與本質(zhì)屬性[J];湖南科技大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2010年02期

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

1 鞠實(shí)兒;;基于開放世界假設(shè)的三值邏輯的語義推理系統(tǒng)[A];開放類邏輯論文集[C];2004年

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

1 榮立武;內(nèi)涵邏輯的哲學(xué)基礎(chǔ)[D];中山大學(xué);2006年

2 戴細(xì)華;多值邏輯語義博弈[D];中山大學(xué);2006年

【相似文獻(xiàn)】

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

1 左衛(wèi)兵;;三值命題邏輯隨機(jī)化的注記[J];河北師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2011年04期

2 ;[J];;年期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

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

1 鞠實(shí)兒;;基于開放世界假設(shè)的三值邏輯的語義推理系統(tǒng)[A];開放類邏輯論文集[C];2004年

2 杜國平;;三值邏輯Sheffer[A];2005年邏輯研究專輯[C];2005年

3 肖淼;彭詠龍;李亞斌;;基于脈寬調(diào)制的新型電流型整流器研究[A];電工理論與新技術(shù)學(xué)術(shù)年會(huì)論文集[C];2005年

4 楊瑩春;諸靜;;基于多值邏輯的不確定知識(shí)表示及推理[A];面向21世紀(jì)的科技進(jìn)步與社會(huì)經(jīng)濟(jì)發(fā)展（下冊(cè)）[C];1999年

5 鞠實(shí)兒;;開放類邏輯的哲學(xué)基礎(chǔ)——一種非規(guī)范三值內(nèi)涵語義理論[A];開放類邏輯論文集[C];2004年

6 ;和諧社會(huì)：自主創(chuàng)新與文化交融——2006·學(xué)術(shù)前沿論壇論文摘要匯編 北京市邏輯學(xué)會(huì)[A];和諧社會(huì)：自主創(chuàng)新與文化交融——2006學(xué)術(shù)前沿論壇論文摘要匯編[C];2006年

7 胡澤洪;;論語義預(yù)設(shè)[A];1993年邏輯研究專輯[C];1993年

8 毛宇光;徐潔磐;周勇;;不完全信息數(shù)據(jù)庫的邏輯[A];第十七屆全國數(shù)據(jù)庫學(xué)術(shù)會(huì)議論文集（研究報(bào)告篇）[C];2000年

9 毛宇光;徐潔磐;韓波;;一種基于三值邏輯的關(guān)系演算[A];第十九屆全國數(shù)據(jù)庫學(xué)術(shù)會(huì)議論文集（技術(shù)報(bào)告篇）[C];2002年

10 杜國平;;金岳霖邏輯觀述評(píng)[A];2000年邏輯研究專輯[C];2000年

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

1 李斌;開放世界的微觀經(jīng)濟(jì)分析[N];中華讀書報(bào);2003年

2 本報(bào)記者 思佳;為中國提供通向開放世界的金鑰匙[N];中國高新技術(shù)產(chǎn)業(yè)導(dǎo)報(bào);2001年

3 佚名　編譯;開放世界誰受益？[N];計(jì)算機(jī)世界;2005年

4 陳靖（作者系共青團(tuán)上海市委書記）;關(guān)注開放環(huán)境下的青年發(fā)展[N];解放日?qǐng)?bào);2002年

5 程實(shí);特里謝的“另類華彩”[N];中國財(cái)經(jīng)報(bào);2003年

6 ;不可逾越的鴻溝？[N];網(wǎng)絡(luò)世界;2003年

7 劉建波;假如微軟也推Linux[N];計(jì)算機(jī)世界;2002年

8 華東師范大學(xué) 馮棉;邏輯科學(xué)，，將充滿活力[N];社會(huì)科學(xué)報(bào);2004年

9 張曉蓬;無緣決賽是好事[N];中國體育報(bào);2004年

10 王恩海;國際化域名趨勢(shì)不可逆轉(zhuǎn)[N];中國電子報(bào);2004年

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

1 戴細(xì)華;多值邏輯語義博弈[D];中山大學(xué);2006年

2 郭建;在數(shù)字系統(tǒng)設(shè)計(jì)中斷言驗(yàn)證的研究[D];西安電子科技大學(xué);2008年

3 嚴(yán)軍勇;降值設(shè)計(jì)理論[D];上海大學(xué);2009年

4 張麗霞;動(dòng)力蓄電池組測(cè)試系統(tǒng)變流技術(shù)研究[D];華北電力大學(xué)（河北）;2008年

5 張興;PWM整流器及其控制策略的研究[D];合肥工業(yè)大學(xué);2003年

6 金翊;三值光計(jì)算機(jī)原理和結(jié)構(gòu)[D];西北工業(yè)大學(xué);2002年

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

1 賈國恒;盧卡西維茨多值邏輯及其與一些邏輯的比較[D];河南大學(xué);2003年

2 王華;命題泛邏輯學(xué)的包容性研究[D];西北工業(yè)大學(xué);2004年

3 嚴(yán)軍勇;三值光計(jì)算機(jī)關(guān)鍵部件的研究[D];西北工業(yè)大學(xué);2004年

4 熊佳;信息融合過程中證據(jù)沖突研究[D];上海交通大學(xué);2008年

5 劉陽陽;用于蓄電池組測(cè)試的高功率因數(shù)電流型變流器應(yīng)用研究[D];華北電力大學(xué)（河北）;2007年

6 代玉偉;用于超導(dǎo)限流器的電流型變流器的研究[D];華中科技大學(xué);2007年

7 曹汝鳴;不完全信息數(shù)據(jù)庫的理論研究[D];南京航空航天大學(xué);2006年

8 孫鵬緯;基于DSP的三相電流型PWM整流器的應(yīng)用研究[D];華北電力大學(xué)（河北）;2007年

9 付慶磊;基于DSP的三相電流型空間矢量PWM逆變器的研究[D];華北電力大學(xué)（河北）;2007年

10 尹鵬;基于多值邏輯狀態(tài)機(jī)的需求分歧研究[D];西安理工大學(xué);2007年

本文編號(hào)：1746003