机译:格效应代数上的逻辑连接词
Basic algebra; BL-algebra; Conjunction; Implication; Lattice effect algebra; MV-effect algebra; Negation; Orthomodular lattice; Residuation; Sasaki algebra;
机译:格效应代数上的逻辑连接词
机译:格蕴涵代数格滤波器的逻辑性质。
机译:格蕴涵代数格滤波器的逻辑性质。
机译:Kleene代数,动作代数和动作格子的类别受到了反应有关的相关性
机译:Heyting代数和分布格的可计算性。
机译:模糊逻辑代数及其应用
机译:代数的一些逻辑不变性和代数之间的逻辑关系