發(fā)布時間：2022-02-09 11:42

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

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

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

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



本文編號：3616942