机译:具有模态算子的晶格的离散对偶
Univ Appl Sci Thessaly TEI Thessaly, Dept Comp Sci & Engn, Larisa, Greece;
Stone duality; discrete duality; lattices with operators; modal lattices; non-distributive logics;
机译:具有模态算子的晶格的离散对偶
机译:在3DDFV上,对梯度和散度算符进行离散化。 I.网格划分,运算符和离散对偶
机译:论梯度与分歧运营商的3D DDFV离散化。 I.啮合,运营商和离散二元性
机译:非交换余格上的模态算子
机译:Banach格上正则多线性算子和齐次多项式空间的基
机译:有界格上基于闭包和内部算子的零范数的构造
机译:在3DDFV上对梯度和散度算符进行离散化。 I.网格划分,运算符和离散对偶。