Intuitionistic PUC-Logic for Constructive Counterfactuals

We present the intuitionistic version of PUC-Logic. After that, we present a constructive approach to Lewis' counterfactual abstraction to show that it does not require the classical absurd rule.

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

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

[3]  Lev Gordeev,et al.  Basic proof theory , 1998 .

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

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

[6]  Franziska Hoffmann,et al.  Fact Fiction And Forecast , 2016 .

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

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

[9]  Philip J. Scott,et al.  Review: Robert Goldblatt, Topoi. The Categorical Analysis of Logic , 1982 .

[10]  Edward Hermann Haeusler,et al.  PUC-Logic , 2014, 1402.1535.

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

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

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

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

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

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

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

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

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

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

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

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