BIK+-邏輯與非可換模糊邏輯

引入BIK+-邏輯的概念,證明了BIK+-邏輯的可靠性定理(基于BCC-代數(shù)).同時,研究了BIK+-邏輯與非可換模糊邏輯的關(guān)系,說明了各種源于模糊邏輯的代數(shù)結(jié)構(gòu)之間的內(nèi)在聯(lián)系,并用一個圖示表達了這些關(guān)系.

作 者： 張小紅 ZHANG Xiao-hong   作者單位： 寧波大學(xué),數(shù)學(xué)系,浙江,寧波,315211  刊 名： 模糊系統(tǒng)與數(shù)學(xué)  ISTIC PKU 英文刊名： FUZZY SYSTEMS AND MATHEMATICS  年，卷(期)： 2007 21(6)  分類號： O101 O159  關(guān)鍵詞： BIK+-邏輯   BCK-邏輯   非可換模糊邏輯   BCC-代數(shù)  

【BIK+-邏輯與非可換模糊邏輯】相關(guān)文章：

命題模糊邏輯系統(tǒng)中公式的理論可證度04-28

運動干涉檢測的模糊邏輯控制04-26

基于模糊邏輯的組合導(dǎo)引律04-28

論決策中的邏輯思維與非邏輯思維04-26

修辭論辯與非形式邏輯04-28

道義邏輯、行動邏輯和規(guī)范邏輯04-28

基于模糊球的模糊邏輯系統(tǒng)及其逼近性質(zhì)04-26

模糊邏輯代數(shù)的Loomis-Sikorski表現(xiàn)定理04-26

基于模糊邏輯的高性能融合制導(dǎo)研究04-30

非形式邏輯的核心概念:論證04-29