【摘要】：為了證明模糊邏輯系統(tǒng)的完備性,各種各樣的邏輯代數(shù)作為模糊邏輯系統(tǒng)的代數(shù)語(yǔ)義而被提出,如:MV-代數(shù),BL-代數(shù),MTL-代數(shù),R0-代數(shù),剩余格和Hoop代數(shù).在這些邏輯代數(shù)中,Hoop代數(shù)是一類最基本、最重要的邏輯代數(shù).本文主要研究了Hoop代數(shù)上的整濾子以及(正)關(guān)聯(lián)偽賦值.通過(guò)研究整濾子,我們找到了 Hoop代數(shù)的一個(gè)新的子類,即整Hoop代數(shù);通過(guò)研究偽賦值,我們研究了Hoop代數(shù)的商結(jié)構(gòu).主要結(jié)果如下:(1)研究了Hoop代數(shù)中的整濾子和其它濾子之間的關(guān)系,得到了Hoo 代數(shù)上的整濾子是primary濾子.(2)利用整濾子刻畫了一個(gè)整Hoop代數(shù),并證明了Hoop代數(shù)H中的一個(gè)濾子F是整濾子當(dāng)且僅當(dāng)H/F是整Hoop代數(shù).(3)研究了Hoop代數(shù)上的(正)關(guān)聯(lián)偽賦值,并給出了一個(gè)偽賦值成為(正)關(guān)聯(lián)偽賦值的刻畫,得到了一個(gè)偽賦值是關(guān)聯(lián)偽賦值當(dāng)且僅當(dāng)φ(x→y)=φ(x→(x→y));一個(gè)偽賦值是正關(guān)聯(lián)偽賦值當(dāng)且僅當(dāng)φ(x)=φ(x→y)→x).(4)利用偽賦值誘導(dǎo)了一個(gè)二元關(guān)系θφ,并證明了θφ是一個(gè)同余關(guān)系.(5)證明了若H1和H2是兩個(gè)Hoop代數(shù),f:H1→H2的一個(gè)滿同態(tài)且φ是H2上的一個(gè)偽賦值,則H1/(φof)(?)H2/φ.
【學(xué)位授予單位】：西北大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2018
【分類號(hào)】：O153

【相似文獻(xiàn)】

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

1 侯禹;鄭瑩瑩;;認(rèn)識(shí)結(jié)構(gòu),事半功倍[J];數(shù)學(xué)教學(xué)通訊;2017年21期

2 候再恩;代數(shù)結(jié)構(gòu)的泛性并[J];西北輕工業(yè)學(xué)院學(xué)報(bào);1995年01期

3 唐守文,趙春來(lái);圖代數(shù)(Ⅰ)[J];中國(guó)科學(xué)(A輯 數(shù)學(xué) 物理學(xué) 天文學(xué) 技術(shù)科學(xué));1988年09期

4 鄭祖庥;公理體系下的代數(shù)結(jié)構(gòu)[J];淮北煤師院學(xué)報(bào)(自然科學(xué)版);1988年03期

5 李洪興;;HX環(huán)(1)[J];天津紡織工學(xué)院學(xué)報(bào);1988年Z1期

6 張祖貴;對(duì)數(shù)學(xué)的反思[J];自然辯證法研究;1989年02期

7 王水汀;∑={a}上語(yǔ)言的代數(shù)結(jié)構(gòu)及其應(yīng)用[J];蘭州商學(xué)院學(xué)報(bào);1989年02期

8 蔣國(guó)瑞;理想Imσ_*~(2k+1)的代數(shù)結(jié)構(gòu)[J];科學(xué)通報(bào);1989年05期

9 劉東昌;Fuzzy鎖代數(shù)[J];模糊系統(tǒng)與數(shù)學(xué);1989年02期

10 羅江濤;;二型Fuzzy集代數(shù)結(jié)構(gòu)的若干性質(zhì)[J];內(nèi)蒙古大學(xué)學(xué)報(bào)(自然科學(xué)版);1989年01期

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

1 霍書全;鞠實(shí)兒;;SLO的代數(shù)結(jié)構(gòu)[A];開放類邏輯論文集[C];2004年

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

1 喬麗;羅巴代數(shù)與量子仿射代數(shù)表示的若干研究[D];蘭州大學(xué);2017年

2 楊翠麗;初中生代數(shù)學(xué)習(xí)的認(rèn)知建構(gòu)研究[D];華東師范大學(xué);2018年

3 劉東;無(wú)限維Lie代數(shù)和Leibniz代數(shù)[D];華東師范大學(xué);2004年

4 付強(qiáng);無(wú)窮小量子gl_n和相關(guān)的小q-Schur代數(shù)[D];華東師范大學(xué);2004年

5 楊存}\;一類具有規(guī)范變換的擬Hopf代數(shù)[D];首都師范大學(xué);2005年

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

7 吳求先;管范疇上的Ringel-Hall代數(shù)及Hall多項(xiàng)式[D];湖南師范大學(xué);2005年

8 王延新;帶循環(huán)的賦值圖的表示和Double Ringel-Hall代數(shù)[D];清華大學(xué);2005年

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

10 劉用麟;若干邏輯代數(shù)系統(tǒng)結(jié)構(gòu)的研究[D];西安電子科技大學(xué);2005年

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

1 王梅;Hoop代數(shù)上的整濾子和（正）關(guān)聯(lián)偽賦值[D];西北大學(xué);2018年

2 張艷;半結(jié)合3-代數(shù)[D];河北大學(xué);2018年

3 高營(yíng)營(yíng);九維Taft代數(shù)上的2-余循環(huán)[D];揚(yáng)州大學(xué);2018年

4 顧曉娟;幾類特殊的量子B-代數(shù)[D];陜西師范大學(xué);2018年

5 李華興;修正羅巴代數(shù)和修正三葉型代數(shù)[D];蘭州大學(xué);2018年

6 尹雪;Leibniz共形超代數(shù)[D];東北師范大學(xué);2018年

7 路韻;（f，，g）-反演關(guān)系的代數(shù)結(jié)構(gòu)[D];蘇州大學(xué);2005年

8 王可;代數(shù)結(jié)構(gòu)低密度校驗(yàn)碼的構(gòu)造及典型應(yīng)用[D];電子科技大學(xué);2006年

9 趙宜成;加杯圖靈度的代數(shù)結(jié)構(gòu)[D];中國(guó)科學(xué)院研究生院（軟件研究所）;2003年

10 李彤彤;某些Hopf代數(shù)的Hopf*-代數(shù)結(jié)構(gòu)[D];揚(yáng)州大學(xué);2007年

本文編號(hào)：2598394