逻辑系统MTL▽及其完备性

• 作者: 时慧娴 王国俊
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: MTL▽逻辑系统 MTL▽代数 完备性 扩张
• 年，卷（期）: 2011,（6）
• 所属期刊栏目: 研究、探讨
• 页码范围: 30-33
• 分类号: O141.1
• 字数: 4292字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2011.06.009

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王国俊	陕西师范大学数学与信息科学学院	176	2910	25.0	49.0
5	时慧娴	陕西师范大学数学与信息科学学院	7	21	3.0	4.0