参数Kleene系统Kp的程度化

摘要：

本文对参数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的广义重言式的可判定性.

关键词：t-模、蕴涵算子、广义重言式、可判定性

所属期刊栏目：10

分类号：O.144

在线出版日期：2005-08-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：118-121