PUC-Logic
Logic in Computer Science
2014-02-10 v1
Abstract
We present a logic for Proximity-based Understanding of Conditionals (PUC-Logic) that unifies the Counterfactual and Deontic logics proposed by David Lewis. We also propose a natural deduction system (PUC-ND) associated to this new logic. This inference system is proven to be sound, complete, normalizing and decidable. The relative completeness for the and logics is shown to emphasize the unified approach over the work of Lewis.
Cite
@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}
}
Comments
33 pages, 1 figure