A formal framework for specifying sequent calculus proof systems D Miller, E Pimentel Theoretical Computer Science 474, 98-116, 2013 | 66 | 2013 |
Modularisation of sequent calculi for normal and non-normal modalities B Lellmann, E Pimentel ACM Transactions on Computational Logic (TOCL) 20 (2), 1-46, 2019 | 49 | 2019 |
An extended framework for specifying and reasoning about proof systems V Nigam, E Pimentel, G Reis Journal of Logic and Computation 26 (2), 539-576, 2016 | 49 | 2016 |
A general proof system for modalities in concurrent constraint programming V Nigam, C Olarte, E Pimentel International Conference on Concurrency Theory, 410-424, 2013 | 38 | 2013 |
Using linear logic to reason about sequent systems D Miller, E Pimentel International Conference on Automated Reasoning with Analytic Tableaux and …, 2002 | 33 | 2002 |
Proof search in nested sequent calculi B Lellmann, E Pimentel Logic for Programming, Artificial Intelligence, and Reasoning, 558-574, 2015 | 32 | 2015 |
On the specification of sequent systems E Pimentel, D Miller International Conference on Logic for Programming Artificial Intelligence …, 2005 | 31 | 2005 |
An ecumenical notion of entailment E Pimentel, LC Pereira, V de Paiva Synthese 198 (Suppl 22), 5391-5413, 2021 | 29 | 2021 |
From axioms to synthetic inference rules via focusing S Marin, D Miller, E Pimentel, M Volpe Annals of Pure and Applied Logic 173 (5), 103091, 2022 | 28 | 2022 |
Subexponential concurrent constraint programming C Olarte, E Pimentel, V Nigam Theoretical Computer Science 606, 98-120, 2015 | 28 | 2015 |
Specifying proof systems in linear logic with subexponentials V Nigam, E Pimentel, G Reis Electronic Notes in Theoretical Computer Science 269, 109-123, 2011 | 27 | 2011 |
Intersection Types from a proof-theoretic perspective E Pimentel, S Ronchi Della Rocca, L Roversi Fundamenta Informaticae 121 (1-4), 253-274, 2012 | 24 | 2012 |
Linear logic as a framework for specifying sequent calculus D Miller, E Pimentel Logic Colloquium 99, 111-135, 1999 | 24 | 1999 |
A uniform framework for substructural logics with modalities. B Lellmann, C Olarte, E Pimentel LPAR, 435-455, 2017 | 21 | 2017 |
On subexponentials, focusing and modalities in concurrent systems V Nigam, C Olarte, E Pimentel Theoretical Computer Science 693, 35-58, 2017 | 17 | 2017 |
Dynamic spaces in concurrent constraint programming C Olarte, V Nigam, E Pimentel Electronic Notes in Theoretical Computer Science 305, 103-121, 2014 | 16 | 2014 |
Lazy strong normalization L Paolini, E Pimentel, SR Della Rocca Electronic Notes in Theoretical Computer Science 136, 103-116, 2005 | 16 | 2005 |
Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity T Dalmonte, B Lellmann, N Olivetti, E Pimentel Journal of Logic and Computation 31 (1), 67-111, 2021 | 14 | 2021 |
Multi-focused proofs with different polarity assignments E Pimentel, V Nigam, J Neto Electronic Notes in Theoretical Computer Science 323, 163-179, 2016 | 14 | 2016 |
A proof theoretic study of soft concurrent constraint programming E Pimentel, C Olarte, V Nigam Theory and Practice of Logic Programming 14 (4-5), 649-663, 2014 | 14 | 2014 |