非线性格值逻辑系统_6  

A Kind of 6-valued Logic System _6 Associated with a Nonlinear Ordering Evaluation Lattice

作　　者：辛晓东 

机构地区：[1]固原高等师范专科学校数学系,宁夏固原756000

出　　处：《工程数学学报》2000年第B05期100-102,共3页Chinese Journal of Engineering Mathematics

摘　　要：研究赋值格为非线性序格 ,非运算不同于 Boole的补运算 ,蕴涵算子取 R。的一种新的 6值逻辑系统W6 。讨论了其语义 MP规则 ,语义 H S规则 ;重言式 ,∑ - (d-重言式 ) 。In this paper,a kind of 6 valued logic system  6associated with a nonlinear ordering evaluation lattice is researched.In the system,the lattice structure is different from Boolean algebra and the implication operator is just R 0.Some results are obtained from studying modus ponens,hypothetical syllogism,tautologies and ∑ (α tautologies) is the paper.

关 键 词：重言式 非线性格值逻辑系统 6值逻辑 模糊逻辑 

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