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