MTL(Monoidal T-norm based logic)代数是基于左连续三角模的模糊逻辑系统的语义代数,而理想理论是研究MTL代数性质的重要工具。利用加法运算给出了MTL代数理想的等价刻画和生成理想的具体结构。通过定义交、并、蕴涵与补运算,证明了全...MTL(Monoidal T-norm based logic)代数是基于左连续三角模的模糊逻辑系统的语义代数,而理想理论是研究MTL代数性质的重要工具。利用加法运算给出了MTL代数理想的等价刻画和生成理想的具体结构。通过定义交、并、蕴涵与补运算,证明了全体理想之集在集合的包含序下是一个代数格。同时,给出了由全体理想之集构成MTL代数和对合MTL代数的充分且必要条件。展开更多
文摘MTL(Monoidal T-norm based logic)代数是基于左连续三角模的模糊逻辑系统的语义代数,而理想理论是研究MTL代数性质的重要工具。利用加法运算给出了MTL代数理想的等价刻画和生成理想的具体结构。通过定义交、并、蕴涵与补运算,证明了全体理想之集在集合的包含序下是一个代数格。同时,给出了由全体理想之集构成MTL代数和对合MTL代数的充分且必要条件。
