计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2011年
6期
30-33
,共4页
MTL▽逻辑系统%MTL▽代数%完备性%扩张
MTL▽邏輯繫統%MTL▽代數%完備性%擴張
MTL▽라집계통%MTL▽대수%완비성%확장
在逻辑系统MTL(Monoidal t-norm based Logic)中引入一元逻辑连接词▽,并在原有公理模式的基础上添加若干新公理,构建了一种新的MTL的扩张MTL<,▽>逻辑系统.为了进行相应的语义研究,在MTL代数的基础上,引入一元算子▽,提出MTL<,▽>代数的概念,并证明了MTL<,▽>代数的同构定理.基于线性MTL<,▽>代数证明了逻辑系统MTL<,▽>的完备性.
在邏輯繫統MTL(Monoidal t-norm based Logic)中引入一元邏輯連接詞▽,併在原有公理模式的基礎上添加若榦新公理,構建瞭一種新的MTL的擴張MTL<,▽>邏輯繫統.為瞭進行相應的語義研究,在MTL代數的基礎上,引入一元算子▽,提齣MTL<,▽>代數的概唸,併證明瞭MTL<,▽>代數的同構定理.基于線性MTL<,▽>代數證明瞭邏輯繫統MTL<,▽>的完備性.
재라집계통MTL(Monoidal t-norm based Logic)중인입일원라집련접사▽,병재원유공리모식적기출상첨가약간신공리,구건료일충신적MTL적확장MTL<,▽>라집계통.위료진행상응적어의연구,재MTL대수적기출상,인입일원산자▽,제출MTL<,▽>대수적개념,병증명료MTL<,▽>대수적동구정리.기우선성MTL<,▽>대수증명료라집계통MTL<,▽>적완비성.
