F-fuzzy Calculus System  

F-fuzzy演绎系统(英文)

作　　者：潘无名[1] 王俊卿[2] 

机构地区：[1]西南交通大学应用数学系,四川成都610031 [2]中原工学院基础部,河南郑州450007

出　　处：《Chinese Quarterly Journal of Mathematics》2001年第1期59-64,共6页数学季刊（英文版）

基　　金：:SupportedbyspecialbasicScienceFoundationofSouthwestJiaotongUniversity( 1999J0 6)

摘　　要：A formalized calculus system called F_fuzzy calculus system, which is a symbol deduction system to formalize fuzzy inference, is constructed in this paper. The fuzzy modus ponens was completely formalized in this calculus system.

关 键 词：fuzzy inference fuzzy formal deduction F_fuzzy calculus system 

分 类 号：O141.1[理学—数学] B815.6[理学—基础数学]