摘要
本文对参数Kleene系统Kp=([0,1],∧,∨,θp,)(p∈[0,1])中的运算∧,∨进行了程度化,得到了系统Ip=([0,1],∧p,∨p,θp,)(p∈[0,1])。对p=0与p>0两种情况下的系统Ip与其三元子代数及经典二值系统c2之间(广义)重言式的关系进行了研究,得到这两种情形下系统Ip的广义重言式分类定理,指出系统Ip的广义重言式的可判定性。
The operators ∧p,∨p, θp with respect to a parameter p in [0, 1 t is introduced. The system Ip and relations of classification of generalized tautologies among the systems Ip and its 3 - valued system and the system C2 are investigated. It is proved that generalized tautologies are decidable in the system Ip.
出处
《西安邮电学院学报》
2005年第3期118-121,共4页
Journal of Xi'an Institute of Posts and Telecommunications
关键词
T-模
蕴涵算子
广义重言式
可判定性
t - norms
implication operator
generalized tautology
decidability