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

【文件属性】：

文件名称：论文研究-及其完备性.pdf

文件大小：548KB

文件格式：PDF

更新时间：2022-09-30 21:11:57

论文研究

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