通過在BL命題邏輯系統(tǒng)的公式集F（S）中提出演繹系統(tǒng)的概念,并引入強(qiáng)同余關(guān)系,討論BL系統(tǒng)中演繹系統(tǒng)和強(qiáng)同余關(guān)系之間的聯(lián)系,給出二者之間相互轉(zhuǎn)換的方法,并得到了二者之間相互轉(zhuǎn)換的還原性. 

【文章來源】：吉林大學(xué)學(xué)報(bào)(理學(xué)版). 2018,56(02)北大核心

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

【參考文獻(xiàn)】：
期刊論文
[1]有界Heyting代數(shù)的模糊LI-理想[J]. 劉春輝.  工程數(shù)學(xué)學(xué)報(bào). 2016(04)
[2]DFI代數(shù)的距離函數(shù)及其性質(zhì)[J]. 劉慧敏,吳洪博.  吉林大學(xué)學(xué)報(bào)(理學(xué)版). 2016(02)
[3]Lukasiewicz命題邏輯中公式的Γ-真度理論和極限定理[J]. 吳洪博.  中國科學(xué):信息科學(xué). 2014(12)
[4]BL代數(shù)的一種弱化形式[J]. 周建仁,吳洪博.  吉林大學(xué)學(xué)報(bào)(理學(xué)版). 2014(02)
[5]RO-蘊(yùn)涵算子所導(dǎo)出的邏輯函數(shù)的特征[J]. 周建仁,吳洪博.  數(shù)學(xué)學(xué)報(bào). 2014(02)
[6]基于正則FI代數(shù)的MT理想及其應(yīng)用[J]. 吳洪博,汪寧.  電子學(xué)報(bào). 2013(07)
[7]SWBR0-代數(shù)的蘊(yùn)涵理想及其誘導(dǎo)的商代數(shù)[J]. 汪寧,吳洪博.  吉林大學(xué)學(xué)報(bào)(理學(xué)版). 2013(01)
[8]Heyting系統(tǒng)及其H-Locale化形式[J]. 吳洪博,石慧君.  數(shù)學(xué)學(xué)報(bào). 2012(06)
[9]基于剩余格的一類度量空間及性質(zhì)[J]. 周建仁,謝晶晶,吳洪博.  吉林大學(xué)學(xué)報(bào)(理學(xué)版). 2012(05)
[10]三值命題邏輯系統(tǒng)L3*中邏輯理論性態(tài)的拓?fù)淇坍媅J]. 折延宏,王國俊.  數(shù)學(xué)學(xué)報(bào). 2009(06)



本文編號：3062855