本文選題：任務(wù)邏輯 + 附加算子��； 參考：《模糊系統(tǒng)與數(shù)學(xué)》2004年01期

【摘要】：在經(jīng)典命題邏輯語言中引入附加算子冂,較系統(tǒng)地研究近幾年剛剛被提出的任務(wù)邏輯。這里把公式理解為"任務(wù)",介紹了"任務(wù)邏輯"的語義理論,并從語構(gòu)上定義形式系統(tǒng)L與之對應(yīng),證明該系統(tǒng)的可靠性、完備性及可判定性定理,最后建立系統(tǒng)L中的一系列基本定理。
[Abstract]:In the classical propositional logic language, the adjunct operator is introduced to study the task logic which has just been put forward in recent years. In this paper, the formula is understood as "task", the semantic theory of "task logic" is introduced, and the corresponding formal system L is defined in terms of construction. The reliability, completeness and determinability theorem of the system are proved. Finally, a series of basic theorems in system L are established.
【作者單位】： 陜西師范大學(xué)數(shù)學(xué)研究所 陜西師范大學(xué)數(shù)學(xué)研究所
【分類號】：O141.1

【共引文獻】

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

1 許文艷,韓誠;R_0代數(shù)中的真布爾元[J];寶雞文理學(xué)院學(xué)報(自然科學(xué)版);2003年04期

2 吳恒洋,韓誠;非全序R_0代數(shù)的結(jié)構(gòu)[J];純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué);2004年01期

3 張隆傳;張小紅;;強Ockham代數(shù)與剩余格[J];純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué);2010年01期

4 王國俊;宋建社;;命題邏輯中的程度化方法[J];電子學(xué)報;2006年02期

5 李璧鏡;王國俊;;正則蘊涵算子所對應(yīng)的邏輯偽度量空間[J];電子學(xué)報;2010年03期

6 胡明娣;王國俊;;基礎(chǔ)R_0代數(shù)的結(jié)構(gòu)研究[J];紡織高�；A(chǔ)科學(xué)學(xué)報;2006年03期

7 張紅杰;吳洪博;;L_n命題演算中的一種新程度化方法[J];紡織高校基礎(chǔ)科學(xué)學(xué)報;2007年03期

8 張小紅,薛占熬,馬盈倉;R_0-代數(shù)(NM-代數(shù))的布爾MP濾子與布爾MP理想[J];工程數(shù)學(xué)學(xué)報;2005年02期

9 王國俊;;計量邏輯學(xué)(Ⅰ)[J];工程數(shù)學(xué)學(xué)報;2006年02期

10 張興芳;孟廣武;趙峰;張安英;;{I_m}(α-邏輯有效公式)的理論及其應(yīng)用[J];工程數(shù)學(xué)學(xué)報;2007年01期

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

1 王茹;王國俊;;一種新的理論的相容度及近似推理方法[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

2 郭秀敏;王國俊;;關(guān)于描述邏輯中不動點語義的討論[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

3 段巧林;王國俊;;根與幾種命題邏輯系統(tǒng)中的近似推理[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

4 任燕;王洪濤;;二值命題邏輯中的極大命題集與完備命題集[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

5 張鳳姣;張興芳;李成允;;G銉del邏輯中真值函數(shù)特征及真度分布[A];第八屆中國不確定系統(tǒng)年會論文集[C];2010年

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

1 鄒麗;基于語言真值格蘊涵代數(shù)的格值命題邏輯及其歸結(jié)自動推理研究[D];西南交通大學(xué);2010年

2 任芳;正則蘊涵算子與新型模糊邏輯系統(tǒng)的研究[D];陜西師范大學(xué);2005年

3 尚云;量子邏輯中有效代數(shù)與偽有效代數(shù)的研究[D];陜西師范大學(xué);2005年

4 劉華文;直覺模糊與區(qū)間值模糊環(huán)境下的多準則決策與推理算法[D];山東大學(xué);2005年

5 王小明;時態(tài)角色委托代理授權(quán)圖模型及其分析研究[D];西北大學(xué);2004年

6 陳樹偉;基于格蘊涵代數(shù)的格值一階邏輯L_（vfl）中的不確定性推理研究[D];西南交通大學(xué);2006年

7 韓誠;R_0代數(shù)及Vague集的相似度理論[D];陜西師范大學(xué);2006年

8 伊良忠;格蘊涵代數(shù)及語言真值不確定性推理研究[D];西南交通大學(xué);2007年

9 潘海玉;狀態(tài)轉(zhuǎn)換系統(tǒng)的格值量化驗證方法研究[D];華東師范大學(xué);2012年

10 鐘小梅;基于格值邏輯的α-準鎖語義歸結(jié)自動推理研究[D];西南交通大學(xué);2012年

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

1 劉婷;軟集合理論在模糊邏輯代數(shù)中的應(yīng)用研究[D];江南大學(xué);2010年

2 李四化;幾種多值邏輯系統(tǒng)重言式關(guān)系和L_4中導(dǎo)出函數(shù)問題的研究[D];山東大學(xué);2010年

3 杜紹坤;格蘊涵代數(shù)及其與相關(guān)邏輯代數(shù)的關(guān)系研究[D];西南交通大學(xué);2011年

4 馬歡;帶附加算子的剩余格及其濾子理論研究[D];寧波大學(xué);2010年

5 許文艷;任務(wù)邏輯[D];陜西師范大學(xué);2004年

6 任燕;命題集的相容性、根及發(fā)散性[D];陜西師范大學(xué);2004年

7 馬曉玨;IMTL邏輯系統(tǒng)及IMTL-代數(shù)[D];陜西師范大學(xué);2004年

8 劉振晗;基于廣義歸結(jié)的程序綜合[D];大連理工大學(xué);2005年

9 雷紅軒;同步格值自動機和同步格值有限自動機[D];陜西師范大學(xué);2005年

10 周湘南;理論的相容度及效應(yīng)代數(shù)的濾子與商[D];陜西師范大學(xué);2005年

【相似文獻】

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

1 楊季文,朱巧明,呂強,王紅玲,陸劍江;基于Windows95/98平臺的縱橫漢字輸入系統(tǒng)的設(shè)計[J];蘇州大學(xué)學(xué)報(自然科學(xué)版);1999年04期

2 孟慶武;孔達;;基于SuperMap IS技術(shù)的Web GIS實現(xiàn)[J];黑龍江水專學(xué)報;2006年02期

3 呂學(xué)偉;;NCRE客戶端設(shè)置程序的設(shè)計與實現(xiàn)[J];實驗科學(xué)與技術(shù);2007年06期

4 胡鈺;;創(chuàng)新型城市的評價與實現(xiàn)[J];科技進步與對策;2009年01期

5 魏娜;施闖;;地球參考框架的實現(xiàn)和維持[J];大地測量與地球動力學(xué);2009年02期

6 張浩;;基于VHDL的3DES加密算法研究與設(shè)計[J];科技風;2009年10期

7 杜紅悅;劉先林;宮輝力;;基于ArcSDE的空間數(shù)據(jù)綜合管理系統(tǒng)設(shè)計與實現(xiàn)[J];測繪科學(xué);2009年05期

8 王叢光;趙凱;;三維GIS技術(shù)及其在工程測量中的應(yīng)用[J];中小企業(yè)管理與科技(下旬刊);2009年12期

9 馮軍華;;船舶檢驗管理系統(tǒng)的設(shè)計與實現(xiàn)[J];科技信息;2010年21期

10 賈文芳;于海穎;;多媒體教室建設(shè)和使用情況的思考[J];大眾科技;2011年08期

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

1 曾鳳括;李強;;堅持科學(xué)發(fā)展觀 實現(xiàn)中部崛起[A];科技支撐 科學(xué)發(fā)展——2009年促進中部崛起專家論壇暨第五屆湖北科技論壇文集[C];2009年

2 鐘紅;;電子病歷的實現(xiàn)與探討[A];中國醫(yī)院協(xié)會病案管理專業(yè)委員會第15屆全國病案管理學(xué)術(shù)會議論文集[C];2006年

3 樊云;;談電子病案的實現(xiàn)[A];第二十屆航天醫(yī)學(xué)年會暨第三屆航天護理年會論文匯編[C];2004年

4 張建東;雷汛;廖聞劍;;一種基于Parlay X的業(yè)務(wù)生成環(huán)境的實現(xiàn)[A];中國通信學(xué)會第五屆學(xué)術(shù)年會論文集[C];2008年

5 彭戎;;“雙主”教學(xué)模式在高職高專課堂教學(xué)中的實現(xiàn)[A];云南省高等教育學(xué)會高職高專教育分會2008年優(yōu)秀論文集[C];2008年

6 姚植興;;高校輔導(dǎo)員隊伍傳承性研究及其實現(xiàn)[A];提高領(lǐng)導(dǎo)科學(xué)發(fā)展能力暨紀念新中國成立60周年理論研討會論文集[C];2009年

7 劉霆;;真空吸塵器Agent的JAVA實現(xiàn)[A];第三屆全國軟件測試會議與移動計算、柵格、智能化高級論壇論文集[C];2009年

8 邱華;陳燕;張龍;;依靠ERP信息系統(tǒng)實現(xiàn)梅鋼設(shè)備點檢透明化管理[A];中國計量協(xié)會冶金分會2009年年會論文集[C];2009年

9 李森;;移動存儲設(shè)備全程管控的設(shè)計和實現(xiàn)[A];全國計算機安全學(xué)術(shù)交流會論文集（第二十二卷）[C];2007年

10 王香玲;趙勇飛;鄧小剛;李一寧;王先政;何國珍;;沙灣水電站計算機監(jiān)控系統(tǒng)的設(shè)計與實現(xiàn)[A];中國水力發(fā)電工程學(xué)會信息化專委會2009年學(xué)術(shù)交流會論文集[C];2009年

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

1 黃菁;養(yǎng)成與反哺[D];西南大學(xué);2008年

2 張淑梅;黑龍江墾區(qū)森林病蟲害管理信息系統(tǒng)構(gòu)建及應(yīng)用研究[D];東北林業(yè)大學(xué);2009年

3 張會;虛擬群體組織協(xié)同行為建模方法研究[D];國防科學(xué)技術(shù)大學(xué);2006年

4 章敬平;論新聞自由[D];蘇州大學(xué);2007年

5 李華;法律視野下兩宋與周邊政權(quán)盟約研究[D];中國政法大學(xué);2009年

6 趙京;西部經(jīng)濟發(fā)展中的政府作用[D];西北大學(xué);2006年

7 徐國慶;實踐導(dǎo)向職業(yè)教育課程研究[D];華東師范大學(xué);2004年

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

1 劉鵬飛;基于GIS的開封市旅游信息系統(tǒng)研究[D];河南大學(xué);2005年

2 唐丹;論電視語言的價值及其實現(xiàn)[D];中南大學(xué);2005年

3 張洪峰;論立法機關(guān)的司法職能[D];蘇州大學(xué);2005年

4 王悅洲;中國農(nóng)村教育與農(nóng)業(yè)可持續(xù)發(fā)展[D];武漢大學(xué);2005年

5 陳娟;任務(wù)型電子郵件語篇中的人際意義[D];對外經(jīng)濟貿(mào)易大學(xué);2006年

6 張萍;有限責任公司股權(quán)質(zhì)押效力問題研究[D];中國政法大學(xué);2006年

7 胡桂芳;網(wǎng)絡(luò)教學(xué)支持平臺的設(shè)計與實現(xiàn)[D];華中師范大學(xué);2005年

8 黃濤;面向應(yīng)用級QoS中間件平臺的解決方案[D];廣東工業(yè)大學(xué);2005年

9 程勤;論社會主義市場經(jīng)濟條件下公平與效率同一性的實現(xiàn)[D];武漢大學(xué);2004年

10 廖賽娟;傳統(tǒng)文化在現(xiàn)代大學(xué)中的教育價值及其實現(xiàn)[D];武漢理工大學(xué);2006年

，

本文編號：2029392