拟度量空间中的近似蕴涵逻辑
逻辑
2018-08-31 v1
摘要
本文讨论的LAE逻辑基于一种近似蕴涵关系。LAE将经典命题逻辑推广到结论可在量化不精确性下得出的情形。为此，性质由距离空间的子集建模，语句形如某一性质在某一容忍限度内蕴涵另一性质。我们采用E. Ruspini定义的概念框架；我们的工作致力于对合适逻辑演算的研究做出贡献。LAE基于距离函数为拟度量的假设。我们提供了LAE的一个证明演算，并展示了其对有限理论的可靠性和完备性。作为展示完备性的主要工具，我们使用通过加权有向图对证明的表示。
引用
@article{arxiv.1808.10320,
title = {Logic of Approximate Entailment in quasimetric spaces},
author = {Thomas Vetterlein},
journal= {arXiv preprint arXiv:1808.10320},
year = {2018}
}