2000 character limit reached
Intuitionistic PUC-Logic for Constructive Counterfactuals (1405.5279v1)
Published 21 May 2014 in cs.LO
Abstract: 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.
Sponsor
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.