Elaine Pimentel

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 45

Top Topics

Automated Deduction

Sequent Calculi

Top Venues

Theor. Comput. Sci.

Publications

Robert Freiman, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller
Reasoning About Group Polarization: From Semantic Games to Sequent Systems. LPAR (2024)
Carlos Olarte, Elaine Pimentel
Multi-modalities and non-commutativity/associativity in functorial linear logic: a case study. CoRR (2024)
Robert Freiman, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller
Reasoning About Group Polarization: From Semantic Games to Sequent Systems. CoRR (2024)
Carlos Olarte, Elaine Pimentel, Camilo Rocha
A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems. J. Log. Algebraic Methods Program. 130 (2023)
Eben Blaisdell, Max I. Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov
Explorations in Subexponential non-associative non-commutative Linear Logic (extended version). CoRR (2023)
Victor Nascimento, Luiz Carlos Pereira, Elaine Pimentel
An ecumenical view of proof-theoretic semantics. CoRR (2023)
Eben Blaisdell, Max I. Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov
Explorations in Subexponential Non-associative Non-commutative Linear Logic. CoRR (2023)
Eben Blaisdell, Max I. Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov
Non-associative, Non-commutative Multi-modal Linear Logic. IJCAR (2022)
Luiz Carlos Pereira, Elaine Pimentel
On an ecumenical natural deduction with stoup - Part I: The propositional case. CoRR (2022)
Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales
Separability and harmony in ecumenical systems. CoRR (2022)
Sonia Marin, Dale Miller, Elaine Pimentel, Marco Volpe
From axioms to synthetic inference rules via focusing. Ann. Pure Appl. Log. 173 (5) (2022)
Bruno Xavier, Carlos Olarte, Elaine Pimentel
A linear logic framework for multimodal logics. Math. Struct. Comput. Sci. 32 (9) (2022)
Elaine Pimentel, Carlos Olarte, Vivek Nigam
Process-As-Formula Interpretation: A Substructural Multimodal View (Invited Talk). FSCD (2021)
Carlos Olarte, Elaine Pimentel, Camilo Rocha
A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems. CoRR (2021)
Elaine Pimentel, Luiz Carlos Pereira, Valeria de Paiva
An ecumenical notion of entailment. Synth. 198 (22-S) (2021)
Tiziano Dalmonte, Björn Lellmann, Nicola Olivetti, Elaine Pimentel
Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity. J. Log. Comput. 31 (1) (2021)
Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales
A Pure View of Ecumenical Modalities. WoLLIC (2021)
Tiziano Dalmonte, Björn Lellmann, Nicola Olivetti, Elaine Pimentel
Hypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexity. CoRR (2020)
Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales
Ecumenical Modal Logic. DaLí (2020)
Tiziano Dalmonte, Björn Lellmann, Nicola Olivetti, Elaine Pimentel
Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics. LFCS (2020)
Carlos Olarte, Elaine Pimentel, Bruno Xavier
A Fresh View of Linear Logic as a Logical Framework. LSFA (2020)
Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales
Ecumenical modal logic. CoRR (2020)
Kaustuv Chaudhuri, Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel
Hybrid linear logic, revisited. Math. Struct. Comput. Sci. 29 (8) (2019)
Elaine Pimentel, Revantha Ramanayake, Björn Lellmann
Sequentialising Nested Systems. TABLEAUX (2019)
Björn Lellmann, Elaine Pimentel
Modularisation of Sequent Calculi for Normal and Non-normal Modalities. ACM Trans. Comput. Log. 20 (2) (2019)
Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller
A Game Model for Proofs with Costs. CoRR (2019)
Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller
A Game Model for Proofs with Costs. TABLEAUX (2019)
Elaine Pimentel
Proof systems: from nestings to sequents and back. CoRR (2018)
Carlos Olarte, Elaine Pimentel, Camilo Rocha
Proving Structural Properties of Sequent Systems in Rewriting Logic. WRLA@ETAPS (2018)
Cláudia Nalon, Daniele Nantes Sobrinho, Elaine Pimentel, João Marcos
Brasilia Spring on Automated Reasoning. ACM SIGLOG News 5 (1) (2018)
Carlos Olarte, Elaine Pimentel, Camilo Rueda
A concurrent constraint programming interpretation of access permissions. Theory Pract. Log. Program. 18 (2) (2018)
Elaine Pimentel
A Semantical View of Proof Systems. WoLLIC (2018)
Carlos Olarte, Valeria de Paiva, Elaine Pimentel, Giselle Reis
The ILLTP Library for Intuitionistic Linear Logic. Linearity-TLLA@FLoC (2018)
Carlos Olarte, Elaine Pimentel, Camilo Rueda
A Concurrent Constraint Programming Interpretation of Access Permissions. CoRR (2018)
Björn Lellmann, Elaine Pimentel
Modularisation of Sequent Calculi for Normal and Non-normal Modalities. CoRR (2017)
Vivek Nigam, Carlos Olarte, Elaine Pimentel
On subexponentials, focusing and modalities in concurrent systems. Theor. Comput. Sci. 693 (2017)
Carlos Olarte, Elaine Pimentel
On concurrent behaviors and focusing in linear logic. Theor. Comput. Sci. 685 (2017)
Björn Lellmann, Carlos Olarte, Elaine Pimentel
A uniform framework for substructural logics with modalities. LPAR (2017)
Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel
Hybrid and Subexponential Linear Logics Technical Report. CoRR (2016)
Vivek Nigam, Elaine Pimentel, Giselle Reis
An extended framework for specifying and reasoning about proof systems. J. Log. Comput. 26 (2) (2016)
Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel
Hybrid and Subexponential Linear Logics. LSFA (2016)
Agata Ciabattoni, Björn Lellmann, Carlos Olarte, Elaine Pimentel
From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction. LSFA (2016)
Björn Lellmann, Elaine Pimentel
Proof Search in Nested Sequent Calculi. LPAR (2015)
Carlos Olarte, Elaine Pimentel, Vivek Nigam
Subexponential concurrent constraint programming. Theor. Comput. Sci. 606 (2015)
Elaine Pimentel, Vivek Nigam, João Neto
Multi-focused Proofs with Different Polarity Assignments. LSFA (2015)
Elaine Pimentel, Carlos Olarte, Vivek Nigam
A Proof Theoretic Study of Soft Concurrent Constraint Programming. Theory Pract. Log. Program. 14 (4-5) (2014)
Carlos Olarte, Elaine Pimentel
Proving Concurrent Constraint Programming Correct, Revisited. LSFA (2014)
Valeria de Paiva, Mario R. F. Benevides, Vivek Nigam, Elaine Pimentel
Preface. Electron. Notes Theor. Comput. Sci. 300 (2014)
Elaine Pimentel, Carlos Olarte, Vivek Nigam
A Proof Theoretic Study of Soft Concurrent Constraint Programming. CoRR (2014)
Carlos Olarte, Vivek Nigam, Elaine Pimentel
Dynamic Spaces in Concurrent Constraint Programming. LSFA (2013)
Vivek Nigam, Carlos Olarte, Elaine Pimentel
A General Proof System for Modalities in Concurrent Constraint Programming. CONCUR (2013)
Dale Miller, Elaine Pimentel
A formal framework for specifying sequent calculus proof systems. Theor. Comput. Sci. 474 (2013)
Elaine Pimentel, Simona Ronchi Della Rocca, Luca Roversi
Intersection Types from a Proof-theoretic Perspective. Fundam. Informaticae 121 (1-4) (2012)
Carlos Olarte, Elaine Pimentel, Camilo Rueda, Néstor Cataño
A linear concurrent constraint approach for the automatic verification of access permissions. PPDP (2012)
Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca
Strong normalization from an unusual point of view. Theor. Comput. Sci. 412 (20) (2011)
Mauricio Ayala-Rincón, Elaine Pimentel, Fairouz Kamareddine
Preface. Theor. Comput. Sci. 412 (37) (2011)
Vivek Nigam, Elaine Pimentel, Giselle Reis
Specifying Proof Systems in Linear Logic with Subexponentials. LSFA (2010)
Belo Horizonte, Elaine Pimentel, Mario R. F. Benevides
Preface. LSFA (2008)
Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca
An Operational Characterization of Strong Normalization. FoSSaCS (2006)
Elaine Pimentel, Dale Miller
On the Specification of Sequent Systems. LPAR (2005)
Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca
Lazy Strong Normalization. Electron. Notes Theor. Comput. Sci. 136 (2005)
Ruy J. G. B. de Queiroz, Elaine Pimentel, Lucília Figueiredo
Preface. Electron. Notes Theor. Comput. Sci. 84 (2003)
Dale Miller, Elaine Pimentel
Using Linear Logic to Reason about Sequent Systems. TABLEAUX (2002)