PUC-Logic

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 sound, complete, normalizing and decidable.

[1]  Donald E. Knuth,et al.  Semantics of context-free languages , 1968, Mathematical systems theory.

[2]  SARA NEGRI,et al.  Proof Analysis for Lewis Counterfactuals , 2016, Rev. Symb. Log..

[3]  John L. Bell,et al.  Toposes and local set theories - an introduction , 1988 .

[4]  Luiz Carlos Pereira,et al.  PUC-Logic embedding of Lewis' Deontic Logics , 2014, ArXiv.

[5]  Stephen A. Cook,et al.  The complexity of theorem-proving procedures , 1971, STOC.

[6]  D. Lewis,et al.  Papers in ethics and social philosophy , 1998 .

[7]  Helmut Schwichtenberg,et al.  Basic proof theory , 1996, Cambridge tracts in theoretical computer science.

[8]  D. Prawitz.  Natural Deduction: A Proof-Theoretical Study , 1965 .

[9]  R. Goldblatt.  Logics of Time and Computation , 1987 .

[10]  Donald Nute,et al.  Counterfactuals , 1975, Notre Dame J. Formal Log..

[11]  B. Hansson.  An analysis of some deontic logics , 1969 .

[12]  Karel Lambert.  Free Logic: Selected Essays , 2002 .

[13]  Dirk van Dalen,et al.  Logic and structure , 1980 .

[14]  Edward Hermann Haeusler,et al.  Using the Internal Logic of a Topos to Model Search Spaces for Problems , 2007, Log. J. IGPL.

[15]  Luiz Carlos Pereira,et al.  Intuitionistic PUC-Logic for Constructive Counterfactuals , 2014, ArXiv.

[16]  Katsuhiko Sano,et al.  Hybrid Counterfactual Logics , 2009, J. Log. Lang. Inf..

[17]  Leonid Libkin,et al.  Elements of Finite Model Theory , 2004, Texts in Theoretical Computer Science.

[18]  Dirk Pattinson,et al.  Sequent Systems for Lewis' Conditional Logics , 2012, JELIA.

[19]  Ian P. Gent.  A Sequent- or Tableau-style System for Lewis's Counterfactual Logic VC , 1992, Notre Dame J. Formal Log..

[20]  R. Goldblatt.  Topoi, the Categorial Analysis of Logic , 1979 .

[21]  Daniel A. Bonevac.  Deduction: Introductory Symbolic Logic , 2002 .

[22]  N. Goodman.  Fact, Fiction, and Forecast , 1955 .

[23]  Edward Hermann Haeusler,et al.  A Topos-Theoretic Approach to Counterfactual Logic , 2009, LSFA.

[24]  E. G. K. López-Escobar,et al.  Implicational logics in natural deduction systems , 1982, Journal of Symbolic Logic.

[25]  Richard Statman,et al.  Intuitionistic Propositional Logic is Polynomial-Space Complete , 1979, Theor. Comput. Sci..