Intuitionistic PUC-Logic for Constructive Counterfactuals
Ricardo Q. A. Fernandes, Edward H. Haeusler, Luiz Carlos Pereira

TL;DR
This paper introduces an intuitionistic version of PUC-Logic and a constructive approach to Lewis' counterfactuals, demonstrating that classical absurdity is unnecessary in this context.
Contribution
It develops a new intuitionistic framework for PUC-Logic and offers a constructive method for counterfactual reasoning, avoiding classical absurdity.
Findings
The intuitionistic PUC-Logic is consistent with constructive principles.
Counterfactuals can be modeled without classical absurdity.
The approach broadens the applicability of constructive logic in counterfactual reasoning.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Advanced Algebra and Logic · Logic, programming, and type systems
