在逻辑系MTL（Monoidalt-normbasedLogic）中引入一元逻辑连接词↓△，并在原有公理模式的基础上添加若干新公理，构建了一种新的MTL的扩张......