K3、L3、LP、RM3、A3、FDE：如何让多值逻辑为你所用
人工智能
2017-11-17 v1 计算机科学中的逻辑
摘要
我们研究一些著名的（以及少数不太著名的）具有少量（3或4个）真值的多值逻辑。对其中某些逻辑，我们指出它们没有任何逻辑上的用途（尽管它们或许具有某些直观的语义趣味），并探讨添加特征以使其有用、同时保留其直观吸引力的途径。最后，我们展示了系统FDE中的一些令人惊讶的结果，及其与其他逻辑特征的关系。我们以一些“同义逻辑”的新例子作结。附录包含一个我们增强版FDE的自然演绎系统，以及可靠性与完备性的证明。
引用
@article{arxiv.1711.05816,
title = {K3, L3, LP, RM3, A3, FDE: How to Make Many-Valued Logics Work for You},
author = {Allen P. Hazen and Francis Jeffry Pelletier},
journal= {arXiv preprint arXiv:1711.05816},
year = {2017}
}