论文部分内容阅读
引入了RL型蕴涵与正则RL型蕴涵的概念，系统地讨论了基于RL型蕴涵的三I算法、三IMT算法及其还原性，得到了这些算法的一般表达式，指出基于正则RL型蕴涵的三I算法与三IMT算法的表达式具有对偶形式；证明了当P表示条件{B(y)|y∈Y}真包含{A(X)|X∈X}时，基于RL型蕴涵的三I算法为P-还原算法，当P表示条件{A(x)|x∈X}真包含{B(y)|y∈Y}时，基于RL型蕴涵的三IMT算法为P-还原算法．