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

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

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

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



本文編號：3062855