1:根據(jù)邏輯代數(shù)方程理論,提出了格蘊涵代數(shù)方程的概念.
2:本文對于多值邏輯代數(shù)系統(tǒng)中的基本運算和實現(xiàn)這些基本運算的門電路,作了必要的闡述。
3:首先以蘊涵算子為基礎(chǔ)從有限擾動模糊命題邏輯出發(fā),討論其邏輯代數(shù)及廣義重言式的性質(zhì)。