公式与理论的最近距离和最远距离及在近似推理中的应用

摘要：

本文引入了公式与有限理论之间的最近距离和最远距离,讨论了公式与有限理论之间的最近距离和最远距离的一些简单性质;得到了当有限理论Γ中有根A,且公式B满足一定条件时,公式B与理论Γ之间的最近距离就是ρ(A,B).基于最近距离和最远距离,给出了逻辑系统L中的可能Γ-结论的定义,并讨论了逻辑系统L中相应的近似推理.

关键词：有限理论、最近距离、最远距离、根、近似推理

所属期刊栏目：32

分类号：O141(数理逻辑、数学基础)

资助基金：国家自然科学基金;西安市科技计划

在线出版日期：2018-04-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：177-181