机译:多值逻辑中的刘易斯二分法
Complexity dichotomy; Many-valued logics; Parameterized satisfiability;
机译:多值逻辑中的刘易斯二分法
机译:多价位置逻辑的模态等价与双模逻辑,具有多种值可访问关系
机译:关于模糊描述逻辑与多值模态逻辑的关系
机译:多值逻辑,模糊逻辑和分级结果:比较评估
机译:多值逻辑代数中的分类和基枚举
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:具有n真值值的古典逻辑作为对称的许多值逻辑