本文在基本命題邏輯系統(tǒng)MTL中主要對(duì)理論的余零化子和結(jié)論的性質(zhì)及其相互關(guān)系進(jìn)行了研究。首先,在MTL系統(tǒng)中給出了理論的余零化子的概念,討論了理論的余零化子的一些基本性質(zhì);其次,對(duì)MTL系統(tǒng)中理論的結(jié)論的性質(zhì)進(jìn)行了進(jìn)一步研究;最后,討論了MTL系統(tǒng)中理論的余零化子和結(jié)論之間的相互關(guān)系。 

【文章來源】：模糊系統(tǒng)與數(shù)學(xué). 2018,32(05)北大核心

【文章頁數(shù)】：6 頁

【參考文獻(xiàn)】：
期刊論文
[1]弱MTL-代數(shù)上的幾種演繹系統(tǒng)及其商代數(shù)[J]. 王倫磊,吳洪博.  模糊系統(tǒng)與數(shù)學(xué). 2016(05)
[2]弱MTL代數(shù)的演繹系統(tǒng)與同余關(guān)系的對(duì)應(yīng)定理[J]. 王霞霞,吳洪博.  濟(jì)南大學(xué)學(xué)報(bào)(自然科學(xué)版). 2015(04)
[3]局部有限BL-代數(shù)的素逆演繹系統(tǒng)及性質(zhì)[J]. 文賢紅,吳洪博.  山東大學(xué)學(xué)報(bào)(理學(xué)版). 2014(02)
[4]有限格蘊(yùn)涵代數(shù)的零化子[J]. 龍希慶,徐揚(yáng).  模糊系統(tǒng)與數(shù)學(xué). 2011(03)
[5]推理閉包算子及其誘導(dǎo)的空間[J]. 吳洪博.  西北大學(xué)學(xué)報(bào)(自然科學(xué)版). 2008(01)
[6]格蘊(yùn)涵代數(shù)[J]. 徐揚(yáng).  西南交通大學(xué)學(xué)報(bào). 1993(01)



本文編號(hào)：3616942