Elaine Pimentel

Identifiers

No identifiers captured yet.

Papers (7)

1. Glivenko's theorems from an ecumenical perspective cs.LO · 2026 · author #3
2. Efficient Decision Procedures for RNmatrix Semantics cs.LO · 2026 · author #3
3. Bilateralism with incompatible proofs and refutations cs.LO · 2025 · author #3
4. A Game Model for Proofs with Costs cs.LO · 2019 · author #3
5. Proof systems: from nestings to sequents and back cs.LO · 2018 · author #1
6. A Concurrent Constraint Programming Interpretation of Access Permissions cs.LO · 2018 · author #2
7. Modularisation of Sequent Calculi for Normal and Non-normal Modalities cs.LO · 2017 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Carlos Olarte 3 shared papers
• Victor Barroso-Nascimento 2 shared papers
• Bj\"orn Lellmann 1 shared papers
• Camilo Rueda 1 shared papers
• Christian Fermuller 1 shared papers
• Luiz Carlos Pereira 1 shared papers
• Maria Os\'orio 1 shared papers
• Renato R. Leme 1 shared papers
• Timo Lang 1 shared papers