论文研究-及其完备性.pdf

在逻辑系统MTL（Monoidal t-norm based Logic）中引入一元逻辑连接词▽，并在原有公理模式的基础上添加若干新公理，构建了一种新的MTL的扩张MTL▽逻辑系统。为了进行相应的语义研究，在MTL代数的基础上，引入一元算子▽，提出MTL▽代数的概念，并证明了MTL▽代数的同构定理。基于线性MTL▽代数证明了逻辑系统MTL▽的完备性。