...
机译:具有补语组成的局部拟谓词的一阶逻辑的完备性
Taras Shevchenko National University of Kyiv Ukraine;
机译:一阶逻辑的一阶逻辑
机译:拟谓词逻辑中T后果关系的语义性质
机译:一阶谓词逻辑的语义完整性和弱扇定理
机译:谓词补语组成的基于代数的程序逻辑
机译:预测谓词逻辑推理问题的难度:谓词逻辑模型的实证检验
机译:通过将谓词逻辑应用于生物医学文献来预测蛋白质功能
机译:具有平等谓词的纯一阶次次逻辑
机译:一阶谓词逻辑模型理论及相关时态逻辑