2014/02/07 by R. Q. A Fernandes, Fernandes, R. Q. A, E. H. Haeusler +3 · 1 citation
Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.LO
paper · pdf · doi:10.48550/arxiv.1402.1535
33 pages, 1 figure
arxiv created 2014/02/07 · arxiv updated 2014/02/10
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 \boldsymbolV and \boldsymbolCO logics is shown to emphasize the unified approach over the work of Lewis.