2 papers
cs.LO2022
On an ecumenical natural deduction with stoup -- Part I: The propositional case
Luiz Carlos Pereira, Elaine Pimentel
Natural deduction systems, as proposed by Gentzen and further studied by Prawitz, is one of the most well known proof-theoretical frameworks. Part of its success is based on the fa…
cs.LO2022
Separability and harmony in ecumenical systems
Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel +1
The quest of smoothly combining logics so that connectives from classical and intuitionistic logics can co-exist in peace has been a fascinating topic of research for decades now.…