论文部分内容阅读
讨论了完备格上的伪t-模与剩余蕴涵算子以及它们的直积与直积分解,给出了积格上伪t-模或蕴涵的偏单调性的定义以及正则伪t-模和正则蕴涵的定义,最终得到了积格上伪t-模或蕴涵可以直积分解的充分条件以及积格上正则伪t-模或正则蕴涵可以分解的充要条件,完全解决了DeBaets提出的直积分解条件问题.