关于两类布尔迭代律的注记

给出了SD（TD）-QL蕴涵满足布尔送代律函数方程I（x,y）=I（x,I（x,y））的充要条件,然后在标准理论（[0,1],T,S,N）的框架下给出了布尔送代律函数方程S（a,b）=S（T（a,b）,T（S（a,b）,N（T（a,b））））有解的2个充分条件。     

完备布劳威尔格上蕴涵的结构

研究了完备布劳威尔格上全体蕴涵算子之集,在此集上定义运算及序关系使其成为幺半群,且是完备布劳威尔格;然后讨论了线性完备布劳威尔格,且给出一种方法构造新的蕴涵算子,同时研究了蕴涵算子换置位对称性质,最后讨论了[0,1]上任意2个可比蕴涵算子的关系。     

有限链上的三角子模

为了构造有限链上的三角模，引入了有限链上的三角子模的概念，给出了生成有限链上的三角子模三角模的方法；然后讨论了有限链上的光滑三角子模的结构。