非线性序逻辑系统~2中的重言式  

Tautologies of Nonlinear Odering Logic System W^2

作　　者：辛晓东 

机构地区：[1]固原师专数学与计算机科学系,宁夏固原756000

出　　处：《固原师专学报》2002年第3期1-5,共5页Journal of Guyuan Teachers College

摘　　要：定义了非线性逻辑系统W^2,研究了W^2中的重言式及广义重言式,得到了若干与线性逻辑系统W^2中相类似的结果。The nonlinear ordering logic system W2 are drfined, and the tautologies and generalized tautologies of the logic system W2 are discussed in the paper. It is proved that some results of the W and W are similar.

关 键 词：FUZZY逻辑 重言式 α—重言式 ∑—(α—重言式) 

分 类 号：O141.1[理学—数学]