伪t-模与蕴涵算子:L-关系方程(英文)

摘要

文章研究Sup-T型L-关系方程和Inf-αT型L-关系方程解的结构,其中L是完备Brouwer格,T是L上无穷并分配伪t-模,αT是L上由T诱导的无穷交分配蕴涵。