语义信息性的定量方法
逻辑
2014-04-25 v3 计算机科学中的逻辑
摘要
本文展示了一种测量演绎语义信息性的形式。根据数据库上插入和删除的明确定义，提出了复杂性和相关性的动态概念。因此，针对有限数据库，它解决了Bar-Hillel-Carnap悖论和Hintikka的演绎丑闻。
引用
@article{arxiv.1404.3782,
title = {A quantitative approach to semantic informativity},
author = {Anderson de Araújo},
journal= {arXiv preprint arXiv:1404.3782},
year = {2014}
}