research
∙
06/06/2023
An ecumenical view of proof-theoretic semantics
Debates concerning philosophical grounds for the validity of classical a...
share
research
∙
04/05/2022
On an ecumenical natural deduction with stoup – Part I: The propositional case
Natural deduction systems, as proposed by Gentzen and further studied by...
research
∙
04/05/2022
Separability and harmony in ecumenical systems
The quest of smoothly combining logics so that connectives from classica...
research
∙
05/28/2020