...
机译:在差动模态多维价逻辑上
Czech Acad Sci Inst Comp Sci Vodarenskou Vezi 271-2 Prague 18207 Czech Republic;
机译:多价位置逻辑的模态等价与双模逻辑,具有多种值可访问关系
机译:关于模糊描述逻辑与多值模态逻辑的关系
机译:有限MTL链上多值模态逻辑中的Lindstrom定理
机译:模态多值逻辑
机译:多值逻辑代数中的分类和基枚举
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:在差动模态多维价逻辑上