机译:本征变量,括号和正最小谓词逻辑的可判定性
Minimal logic; System F; Sequent calculus; Positive quantifier; Bound variable; Decidability;
机译:本征变量,括号和正最小谓词逻辑的可判定性
机译:关于单子谓词所扩展的自然的单子阶逻辑的可判定性
机译:弱插值特性在最小逻辑上的可判定性
机译:具有归纳谓词和算术的分离逻辑中的可确定片段
机译:预测谓词逻辑推理问题的难度:谓词逻辑模型的实证检验
机译:通过将谓词逻辑应用于生物医学文献来预测蛋白质功能
机译:本征变量,包围和正最小谓词逻辑的可判定性
机译:一阶谓词逻辑模型理论及相关时态逻辑