格上矩阵的乘积运算性质

本文根据经典格论中的交、并运算的定义,在有补的分配格L上定义了格上的二阶矩阵的乘积运算,并给出了格上矩阵乘积运算的运算性质,得到关于几类特殊格上矩阵的相关结论.     

半连续dcpo的局部半基的若干理论

对连续格、半连续格、半连续dcpo等的相关定义与主要性质进行比较,得到它们的联系与区别,作出一些补充,并给出半连续dcpo的局部半基的概念,从而得到一些相关性质与结论.     

关于格上二元运算“-”的性质研究

在格上定义了二元运算"—",得到一些运算性质,通过给出分散完备格的概念与性质,得出分散完备格与关于"-"运算满足分配律的格的等价性的刻画,最后,并在格矩阵上也定义了二元运算"—",从而得到相关性质与结论.     

完全分配格上矩阵的若干研究

在完全分配格上定义了格矩阵,以及对称矩阵、幂等矩阵、逆矩阵等,通过给出了格矩阵的若干运算性质,讨论了有关对称矩阵、幂等矩阵的一些性质和定理,并给出证明.     

完备格上交既约元的性质

根据格上交既约元、完全交既约元的概念,定义了连续交既约元,给出了它们之间的联系与区别,进而得出完备格上交既约元的一些性质及相关结论.     

伪相容连续Domain的若干研究

根据相容的概念,定义了伪相容连续与伪相容连续的基,进而得出若干等价命题及相关性质的证明.最后介绍了在伪相容连续偏序集中一类特殊的相容定向集,并加以证明.     

完全分配格上矩阵的若干研究

在完全分配格上定义了格矩阵,以及对称矩阵、幂等矩阵、逆矩阵等,通过给出了格矩阵的若干运算性质,讨论了有关对称矩阵、幂等矩阵的一些性质和定理,并给出证明.     

格上矩阵的乘积运算性质

本文根据经典格论中的交、并运算的定义,在有补的分配格L上定义了格上的二阶矩阵的乘积运算,并给出了格上矩阵乘积运算的运算性质,得到关于几类特殊格上矩阵的相关结论.