...
机译:L_3值一阶逻辑中的变体量词
State Key Laboratory of Software Development Environment Beihang University Beijing 100083 China;
Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China School of Computer Science and Technology University of Chinese Academy of Sciences Beijing 100049 China;
L_3-valued (three-valued) first-order logic; se-quent; quantifier; soundness theorem; completeness theorem;
机译:用于L_3值的命题逻辑的单调和非单调绅士扣除系统
机译:一阶逻辑中用于图微分的量词深度的上界
机译:单次逻辑的切片可定义,界限量级等级
机译:一阶模态逻辑的变体
机译:一阶逻辑及其扩展表明的问题的细粒度复杂性
机译:扩展一阶逻辑缓解框架以处理多种病态的患者偏好
机译:具有模乘谓词的一阶逻辑中的一个量词交替