MTL代数的Wajsberg形式及其应用

作者：寇海燕 吴洪博模糊逻辑剩余格nmtl代数mtl代数br0代数bl代数

摘要：MTL代数是一种重要的基础逻辑代数。本文采用Wajsberg方法,根据逻辑系统MTL中公理的形式,建立了NMTL代数的经典代数表示形式,进而证明了NMTL代数与MTL代数是同一代数结构,证明了满足条件x,y∈L,x→y=（y→0）→（x→0）的NMTL代数L是BR0代数。在此基础上证明了IMTL代数和BR0代数是同一代数结构,并给出BR0代数和BL代数的Wajsberg形式。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社