机译:Łukasiewicz谓词逻辑中的强制
First order Many; valued logic; Łukasiewicz Logic; Robinson Forcing;
机译:?ukasiewicz谓词逻辑中的强制
机译:?ukasiewicz谓词逻辑中的强制
机译:理解与_ukasiewicz谓词逻辑中的归纳矛盾
机译:关于Łukasiewicz逻辑的模态和多模态逻辑之间的关系
机译:预测谓词逻辑推理问题的难度:谓词逻辑模型的实证检验
机译:有限变量在Łukasiewicz逻辑中的统一
机译:单调谓词逻辑逻辑逻辑的逻辑后果关系及安源型谓词逻辑
机译:一阶谓词逻辑模型理论及相关时态逻辑