...
机译:带布尔运算符的Heyting代数,用于和。信息检索应用
heyting algebras; many-valued logics; rough sets; information retrieval; query expansion; implicative relations; LOGIC;
机译:带布尔运算符的Heyting代数,用于和。信息检索应用
机译:R0代数(幂等最小代数)上的粗糙近似算子及其在形式逻辑L中的应用
机译:L-模糊粗糙集的逼近算子,二元关系和基代数
机译:基于Boolean代数粗糙集模型的含义运算符
机译:当布尔代数是地面模型中的适当类时,集合论的布尔值模型。
机译:半简单李代数上的Rota–Baxter算子和后李代数结构
机译:带布尔运算符的Heyting代数,用于粗糙集和信息检索应用
机译:具有算子的布尔代数的sahlqvist定理