2014/05/21 by Ricardo Queiroz de Araujo Fernandes, Ricardo Q. A. Fernandes, Edward H. Haeusler +5
Computer Science · #Advanced Algebra and Logic #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.LO
paper · pdf · doi:10.48550/arxiv.1405.5279
arXiv admin note: text overlap with arXiv:1402.1535
arxiv created 2014/05/21 · openalex publication_date 2014/05/21 · arxiv updated 2014/05/22 · openalex created_date 2016/06/24 · openalex updated_date 2026/07/28
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.