Author:
Leme Renato,Coniglio Marcelo,Lopes Bruno,Venturi Giorgio
Funder
Fundação de Amparo á Pesquisa do Estado de São Paulo
Conselho Nacional de Desenvolvimento Científico e Tecnológico
Publisher
Springer Science and Business Media LLC
Reference6 articles.
1. Marin, S., L.C. Pereira, E. Pimentel, and E. Sales, A Pure View of Ecumenical Modalities, in A Silva, R. Wassermann, R. de Queiroz, (eds.), Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings, Springer, 2021, pp. 388–407.
2. Pereira, L.C., and E. Pimentel, On an ecumenical natural deduction with stoup–part i: the propositional case, arXiv preprint arXiv:2204.02199, 2022.
3. Pereira, L.C., and R.O. Rodriguez, Normalization, soundness and completeness for the propositional fragment of prawitz cecumenical system, Revista Portuguesa de Filosofia 73(3):1153–1168, 2017.
4. Pimentel, E., L.C. Pereira, and V. de Paiva, An ecumenical notion of entailment, Synthese 198(22):5391–5413, 2021.
5. Prawitz, D., Classical versus intuitionistic logic. in E.H. Haeusler, W. de Campos Sanz, and B. Lopes, (eds.), Why is this a Proof, College Publications, 2015, pp. 15–32.