本文選題：模糊邏輯 + 強(qiáng)正則剩余格�。� 參考：《數(shù)學(xué)學(xué)報(bào)》2002年04期

【摘要】：正則剩余格是一類重要的模糊邏輯代數(shù)系統(tǒng),而常見的模糊邏輯形式系統(tǒng)大多數(shù)帶有非聯(lián)接詞,并且相應(yīng)的Lindenbaum代數(shù)都是正則剩余格.本文以強(qiáng)正則剩余格為語義,建立了一個(gè)一般的命題演算形式系統(tǒng)LN,并且證明了這個(gè)系統(tǒng)的完備性.幾種常見的帶有非聯(lián)接詞的模糊邏輯形式系統(tǒng)都是系統(tǒng)LN的擴(kuò)張.
[Abstract]:Regular residue lattices are an important class of fuzzy logic algebraic systems, and most of the common fuzzy logic systems have disjoin words, and the corresponding Lindenbaum algebras are regular residual lattices. In this paper, a general propositional calculus form system LN is established with strongly regular residuals as semantics, and the completeness of the system is proved. Several common fuzzy logic systems with disjointed words are extensions of system LN.
【作者單位】： 西安交通大學(xué)理學(xué)院
【分類號(hào)】：O141.1

【相似文獻(xiàn)】

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

1 楊永保;;一類BCK-代數(shù)的結(jié)構(gòu)[J];西北師范大學(xué)學(xué)報(bào)(自然科學(xué)版);1989年02期

2 彭清;產(chǎn)業(yè)結(jié)構(gòu)的成長與經(jīng)濟(jì)區(qū)的擴(kuò)張[J];地理研究;1993年01期

3 許浚遠(yuǎn),張凌云,陳開遠(yuǎn),羅志立,彭大鈞,羅蟄潭;日本海域與中國東北地區(qū)“此起彼伏”的拉張作用[J];吉林地質(zhì);1996年01期

4 李正風(fēng),曾國屏;創(chuàng)新系統(tǒng)的擴(kuò)張與創(chuàng)新研究的系統(tǒng)范式[J];系統(tǒng)辯證學(xué)學(xué)報(bào);2000年01期

5 李建國;;公共圖書館社會(huì)影響力擴(kuò)張的實(shí)現(xiàn)途徑[J];內(nèi)江科技;2008年04期

6 瞿維建;陳建明;;關(guān)于不定方程組y~2—(k~2+1)x~2=k~2,z~2—((k+1)~2+1)x~2=(k+1)~2[J];浙江師范大學(xué)學(xué)報(bào)(自然科學(xué)版);1990年02期

7 王文麗;董治寶;胡光印;魏振海;;若爾蓋高原近30年沙地變化趨勢分析[J];中國沙漠;2008年04期

8 廖靜嫻;;淺談我國高星級(jí)酒店擴(kuò)張中呈現(xiàn)的問題[J];科技信息;2009年26期

9 哈明虎,王熙照;Fuzzy集合上Fuzzy測度的絕對(duì)連續(xù)性及擴(kuò)張[J];河北大學(xué)學(xué)報(bào)(自然科學(xué)版);1991年04期

10 P.Huchon,宋宏偉;從3維重力模擬看南越南盆地的有限擴(kuò)張[J];世界地質(zhì);1999年04期

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

1 許瓊毅;;施工企業(yè)快速擴(kuò)張的財(cái)務(wù)風(fēng)險(xiǎn)分析[A];中國會(huì)計(jì)學(xué)會(huì)高等工科院校分會(huì)2008年學(xué)術(shù)年會(huì)（第十五屆年會(huì)）暨中央在鄂集團(tuán)企業(yè)財(cái)務(wù)管理研討會(huì)論文集（下冊）[C];2008年

2 唐紹均;;論循環(huán)型社會(huì)的生產(chǎn)者責(zé)任[A];2006年中國可持續(xù)發(fā)展論壇——中國可持續(xù)發(fā)展研究會(huì)2006學(xué)術(shù)年會(huì)經(jīng)濟(jì)發(fā)展與人文關(guān)懷專輯[C];2006年

3 陳建新;徐良;劉亮;;天目山自然保護(hù)區(qū)毛竹林?jǐn)U張及調(diào)控對(duì)策[A];浙江省第三屆生物多樣性保護(hù)與可持續(xù)發(fā)展研討會(huì)會(huì)議論文摘要集[C];2006年

4 張書海;;我國城市建成區(qū)擴(kuò)張的動(dòng)因分析——以省會(huì)城市為例[A];地理學(xué)與生態(tài)文明建設(shè)——中國地理學(xué)會(huì)2008年學(xué)術(shù)年會(huì)論文摘要集[C];2008年

5 董學(xué)平;;基于蘊(yùn)含原理的復(fù)雜系統(tǒng)優(yōu)化方法[A];1999中國控制與決策學(xué)術(shù)年會(huì)論文集[C];1999年

6 楊雅妮;;環(huán)境訴訟中正當(dāng)當(dāng)事人問題探析[A];環(huán)境法治與建設(shè)和諧社會(huì)——2007年全國環(huán)境資源法學(xué)研討會(huì)（年會(huì)）論文集（第四冊）[C];2007年

7 張振峰;曹銀平;趙計(jì)辰;;談冀中能源集團(tuán)法律風(fēng)險(xiǎn)防范體系的建構(gòu)[A];第九屆中國煤炭經(jīng)濟(jì)管理論壇暨2008年中國煤炭學(xué)會(huì)經(jīng)濟(jì)管理專業(yè)委員會(huì)年會(huì)論文集[C];2008年

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

1 胡建偉;跨國飯店擴(kuò)張：特征、基礎(chǔ)條件與運(yùn)行機(jī)制[D];上海社會(huì)科學(xué)院;2008年

2 許孝新;高齡高梗阻食管癌內(nèi)鏡治療方法及Survivin，，F(xiàn)as和FasL表達(dá)的研究[D];山東大學(xué);2005年

3 姚洪亮;A??—代數(shù)的擴(kuò)張和AT—代數(shù)[D];華東師范大學(xué);2005年

4 黃松;尖吻蝮的親緣地理學(xué)和保護(hù)遺傳學(xué)研究[D];四川大學(xué);2007年

5 崔拴林;論私法主體資格的分化與擴(kuò)張[D];廈門大學(xué);2005年

6 劉紅萍;城市用地?cái)U(kuò)張規(guī)律與控制績效研究[D];華中農(nóng)業(yè)大學(xué);2006年

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

1 鄒艷菁;論二十世紀(jì)八十年代以來美國英語的擴(kuò)張[D];江西師范大學(xué);2007年

2 余捷;論行政成本的擴(kuò)張及其控制[D];中共江蘇省委黨校;2008年

3 蘇俊涼;論我國人格權(quán)保護(hù)范圍的擴(kuò)張[D];華僑大學(xué);2007年

4 孫洪梅;整數(shù)環(huán)上一般線性李代數(shù)的模之間的擴(kuò)張[D];華東師范大學(xué);2009年

5 吳立建;論知識(shí)產(chǎn)權(quán)的擴(kuò)張與限制[D];山西大學(xué);2005年

6 呂繼東;新奧集團(tuán)并購擴(kuò)張戰(zhàn)略研究[D];對(duì)外經(jīng)濟(jì)貿(mào)易大學(xué);2006年

7 劉朝風(fēng);汽車電子企業(yè)通過資本運(yùn)作實(shí)現(xiàn)規(guī)模擴(kuò)張的研究[D];華中科技大學(xué);2005年

8 張大偉;地方立法權(quán)擴(kuò)張化分析及研究[D];長春理工大學(xué);2007年

9 呂曉莉;試論杰斐遜的西部觀[D];東北師范大學(xué);2007年

10 宋君;論民事訴訟中反訴制度之完善[D];湘潭大學(xué);2008年

本文編號(hào)：1878011