PUC-Logic
计算机科学中的逻辑
2014-02-10 v1
摘要
我们提出了一种基于邻近性的条件句理解逻辑（PUC-Logic），该逻辑统一了 David Lewis 提出的反事实逻辑与道义逻辑。我们还提出了与该新逻辑相关联的自然演绎系统（PUC-ND）。该推理系统被证明是可靠的、完备的、可规范化的且可判定的。展示了相对于 和 逻辑的相对完备性，以强调相较于 Lewis 工作的统一方法。
引用
@article{arxiv.1402.1535,
title = {PUC-Logic},
author = {R. Q. A Fernandes and E. H. Haeusler and L. C. P. D Pereira},
journal= {arXiv preprint arXiv:1402.1535},
year = {2014}
}
备注
33 pages, 1 figure