偏蕴涵代数相关论文
1997年,王国俊教授基于蕴涵算子R提出了修正的Kleene系统W,W,W,又于1998年引入了广义重言式的概念,对修正的Kleene系统的广义重言式类......
通过对效应代数和差分偏序集的研究,从蕴涵的角度出发引入偏蕴涵代数,证明了偏蕴涵代数与效应代数是两种不同形式的等价代数结构,并讨......