中介谓词逻辑相关论文
潘给出的中介谓词逻辑系统MF的无穷值语义解释,不同于MF的其他任何语义解释。但在该无穷值语义解释下,"当Afuz时~A真"这种情况并未得......
提出知识中的否定关系应当区分为矛盾否定关系和对立否定关系。从概念层面上确立了清晰性知识和模糊性知识中存在的5种矛盾否定关......