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▽代数的概念...在逻辑系统MTL(Monoidal t-norm based Logic)中引入一元逻辑连接词▽,并在原有公理模式的基础上添加若干新公理,构建了一种新的MTL的扩张MTL▽逻辑系统。为了进行相应的语义研究,在MTL代数的基础上,引入一元算子▽,提出MTL▽代数的概念,并证明了MTL▽代数的同构定理。基于线性MTL▽代数证明了逻辑系统MTL▽的完备性。展开更多
文摘MTL(Monoidal T-norm based logic)代数是基于左连续三角模的模糊逻辑系统的语义代数,而理想理论是研究MTL代数性质的重要工具。利用加法运算给出了MTL代数理想的等价刻画和生成理想的具体结构。通过定义交、并、蕴涵与补运算,证明了全体理想之集在集合的包含序下是一个代数格。同时,给出了由全体理想之集构成MTL代数和对合MTL代数的充分且必要条件。
文摘在逻辑系统MTL(Monoidal t-norm based Logic)中引入一元逻辑连接词▽,并在原有公理模式的基础上添加若干新公理,构建了一种新的MTL的扩张MTL▽逻辑系统。为了进行相应的语义研究,在MTL代数的基础上,引入一元算子▽,提出MTL▽代数的概念,并证明了MTL▽代数的同构定理。基于线性MTL▽代数证明了逻辑系统MTL▽的完备性。
