Intuitionistic PUC-Logic for Constructive Counterfactuals

Autor:	Fernandes, Ricardo Q. A., Haeusler, Edward H., Pereira, Luiz Carlos
Rok vydání:	2014
Předmět:	Computer Science - Logic in Computer Science
Druh dokumentu:	Working Paper
Popis:	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. Comment: arXiv admin note: text overlap with arXiv:1402.1535
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1405.5279 Zobrazit plný text záznamu View this record from Arxiv