欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
在逻辑系MTL（Monoidalt-normbasedLogic）中引入一元逻辑连接词↓△，并在原有公理模式的基础上添加若干新公理，构建了一种新的MTL的扩张MTL↓△逻辑系统。为了进行相应的语义研究，在MTL代数的基础上，引入一元算子↓△，提出MTL↓△代数的概念，并证明了MTL↓△代数的同构定理。基于线性MTL↓△代数证明了逻辑系统MTL↓△的完备性。
英文摘要：
By introducing a new connective V and adding several new axioms into the MTL logic,this paper constructs a new schematic extension of MTL.Meanwhile, in order to discuss corresponding semantics, it proposes the concept of MTLv algebra.Moreover,completeness of the MTLv logic is obtained with respect to linear MTLv algebras.
同期刊论文项目
同项目期刊论文
期刊信息
位置：