ECUMENICAL

Logics and logical systems coexisting in peace

The ECUMENICAL project

Logical reasoning is the process of systematically and coherently drawing conclusions based on a set of premises or statements. Logical ecumenism aims to provide a unified framework in which “rival” logics may peacefully coexist. This project explores the fundamental aspects of reasoning via proof-theoretic semantics (Pt-S), where the understanding of the meaning of logical statements is given in terms of proofs rather than traditional truth- based models. The ECUMENICAL Pt-S approach will provide a unified framework for different logics, serving as a common ground in which meaningful interactions may occur between them, providing novel methodologies in the study of logic.

NEWS!

New meeting coming: 18 to 20 February 2026 at Stockholm. Save the date!
Papers published in 2025. Check it out!
- An ecumenical view of proof-theoretic semantics has been published at Synthese. You can listen to this amasing podcast about this article!
- A Proof-Theoretic Approach to the Semantics of Classical Linear Logic has been published at ENTICS.
- Separability and harmony in ecumenical systems has been published at Journal of Logic and Computation.
- Translations and Prawitz's Ecumenical System has been published at Studia Logica.
- A Sequent Calculus Perspective on Base-Extension Semantics has been published at TABLEAUX 2025 Proceedings.
- Base-extension semantics for S5 modal logic has been published at Logic Journal of the IGPL.
- Defining logical systems via algebraic constraints on proofs has been published at Journal of Logic and Computation.
- Categorical Proof-theoretic Semantics has been published at Studia Logica.
- Base-Extension Semantics for Intuitionistic Modal Logics has been published at TABLEAUX 2025 Proceedings.