参数Kleene系统中的广义重言式  

Generalized Tautologies in Parametric Kleene's Systems

作　　者：吴望名[1] 

机构地区：[1]上海师范大学数学科学学院,上海200234

出　　处：《模糊系统与数学》2000年第1期1-7,共7页Fuzzy Systems and Mathematics

基　　金：国家自然科学基金!(69873 034)

摘　　要：引入新的一组带参数 p( p∈ [0 ,1 ])的 t-范∧p,t-余范∨ p 和蕴涵 θp,讨论它们的基本性质。在此基础上研究参数 Kleene系统 Kp 与三值 Kleene系统 K3,三值 Lukasiewicz系统 L3和经典二值系统 B2 关于 (广义 )重言式的相互关系 ,指出系统 Kp 对广义重言式而言是可判定的。In this paper,we introduce a new group of t norm ∧ p,t conorm ∨ p and implication θ p with respect to a parameter p in [0,1] and discuss its elementary properties. Based on this group of operators,we investigate the parametric Kleene’s system K p and the relation to Kleene’s 3 valued system K 3, Lukasiewicz’ 3 valued system L 3 and the classical system B 2 on generalized tautologies. We prove that the parametric Kleene’s system K p is decidable for generalized tautology.

关 键 词：参数Kleene系统 广义重言式 t-范∧A t-余范∨p 

分 类 号：O159[理学—数学] O141[理学—基础数学]