MTL命題邏輯系統中理論的結論和余零化子及其相互關(guān)系
摘要:本文在基本命題邏輯系統MTL中主要對理論的余零化子和結論的性質(zhì)及其相互關(guān)系進(jìn)行了研究。首先,在MTL系統中給出了理論的余零化子的概念,討論了理論的余零化子的一些基本性質(zhì);其次,對MTL系統中理論的結論的性質(zhì)進(jìn)行了進(jìn)一步研究;最后,討論了MTL系統中理論的余零化子和結論之間的相互關(guān)系。
注: 保護知識產(chǎn)權,如需閱讀全文請聯(lián)系模糊系統與數學(xué)雜志社