A pure view of ecumenical modalities
S Marin, LC Pereira, E Pimentel, E Sales - International Workshop on …, 2021 - Springer
Recent works about ecumenical systems, where connectives from classical and intuitionistic
logics can co-exist in peace, warmed the discussion on proof systems for combining logics …
logics can co-exist in peace, warmed the discussion on proof systems for combining logics …
An ecumenical view of proof-theoretic semantics
V Nascimento, LC Pereira, E Pimentel - arXiv preprint arXiv:2306.03656, 2023 - arxiv.org
Debates concerning philosophical grounds for the validity of classical and intuitionistic
logics often have the very nature of logical proofs as one of the main points of controversy …
logics often have the very nature of logical proofs as one of the main points of controversy …
Separability and harmony in ecumenical systems
S Marin, LC Pereira, E Pimentel, E Sales - arXiv preprint arXiv:2204.02076, 2022 - arxiv.org
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. In …
logics can co-exist in peace has been a fascinating topic of research for decades now. In …
A Tour on Ecumenical Systems
E Pimentel, LC Pereira - Leibniz International Proceedings in …, 2023 - discovery.ucl.ac.uk
Ecumenism can be understood as a pursuit of unity, where diverse thoughts, ideas, or points
of view coexist harmoniously. In logic, ecumenical systems refer, in a broad sense, to proof …
of view coexist harmoniously. In logic, ecumenical systems refer, in a broad sense, to proof …
[PDF][PDF] Proof theory for ecumenical systems
E Pimentel - The Proof Society Summer School and Workshop 2023 - ub.edu
Ecumenism can be understood as a pursuit of unity, where diverse thoughts, ideas, or points
of view coexist harmoniously. In logic, ecumenical systems refer, in a broad sense, to proof …
of view coexist harmoniously. In logic, ecumenical systems refer, in a broad sense, to proof …