逻辑系统L_4^2中公式的伪距离

摘要

基于非线性序集逻辑系统中的真度概念，给出了公式的相似度概念，并给出了一些基本性质，为进一步建立该系统中的近似推理理论奠定了基础。