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

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

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

【BIK+-邏輯與非可換模糊邏輯】相關文章：

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

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

基于模糊邏輯的組合導引律04-28

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

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

道義邏輯、行動邏輯和規范邏輯04-28

基于模糊球的模糊邏輯系統及其逼近性質04-26

模糊邏輯代數的Loomis-Sikorski表現定理04-26

基于模糊邏輯的高性能融合制導研究04-30

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