Elaine Pimentel

According to our database, Elaine Pimentel authored at least 57 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Multi-modalities and non-commutativity/associativity in functorial linear logic: a case study.

Carlos Olarte, Elaine Pimentel

CoRR, 2024

Reasoning About Group Polarization: From Semantic Games to Sequent Systems.

Robert Freiman, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

On an Ecumenical Natural Deduction with Stoup. Part I: The Propositional Case.

Luiz Carlos Pereira, Elaine Pimentel

Proceedings of the Perspectives on Deduction: Contemporary Studies in the Philosophy, 2024

2023

A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems.

Carlos Olarte, Elaine Pimentel, Camilo Rocha

J. Log. Algebraic Methods Program., 2023

Explorations in Subexponential Non-associative Non-commutative Linear Logic.

Eben Blaisdell, Max I. Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov

Proceedings of the Proceedings Modalities in substructural logics: Applications at the interfaces of logic, 2023

Explorations in Subexponential non-associative non-commutative Linear Logic (extended version).

Eben Blaisdell, Max I. Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov

CoRR, 2023

An ecumenical view of proof-theoretic semantics.

Victor Nascimento, Luiz Carlos Pereira, Elaine Pimentel

CoRR, 2023

A Tour on Ecumenical Systems (Invited Talk).

Elaine Pimentel, Luiz Carlos Pereira

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

2022

A linear logic framework for multimodal logics.

Bruno Xavier, Carlos Olarte, Elaine Pimentel

Math. Struct. Comput. Sci., October, 2022

On an ecumenical natural deduction with stoup - Part I: The propositional case.

Luiz Carlos Pereira, Elaine Pimentel

CoRR, 2022

Separability and harmony in ecumenical systems.

Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales

CoRR, 2022

From axioms to synthetic inference rules via focusing.

Sonia Marin, Dale Miller, Elaine Pimentel, Marco Volpe

Ann. Pure Appl. Log., 2022

Non-associative, Non-commutative Multi-modal Linear Logic.

Eben Blaisdell, Max I. Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2021

An ecumenical notion of entailment.

Elaine Pimentel, Luiz Carlos Pereira, Valeria de Paiva

Synth., 2021

Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity.

Tiziano Dalmonte, Björn Lellmann, Nicola Olivetti, Elaine Pimentel

J. Log. Comput., 2021

A Pure View of Ecumenical Modalities.

Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales

Proceedings of the Logic, Language, Information, and Computation, 2021

Process-As-Formula Interpretation: A Substructural Multimodal View (Invited Talk).

Elaine Pimentel, Carlos Olarte, Vivek Nigam

Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

2020

A Fresh View of Linear Logic as a Logical Framework.

Carlos Olarte, Elaine Pimentel, Bruno Xavier

Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, 2020

Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics.

Tiziano Dalmonte, Björn Lellmann, Nicola Olivetti, Elaine Pimentel

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2020

Ecumenical Modal Logic.

Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales

Proceedings of the Dynamic Logic. New Trends and Applications, 2020

2019

Modularisation of Sequent Calculi for Normal and Non-normal Modalities.

Björn Lellmann, Elaine Pimentel

ACM Trans. Comput. Log., 2019

Hybrid linear logic, revisited.

Kaustuv Chaudhuri, Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel

Math. Struct. Comput. Sci., 2019

Sequentialising Nested Systems.

Elaine Pimentel, Revantha Ramanayake, Björn Lellmann

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

A Game Model for Proofs with Costs.

Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

2018

A concurrent constraint programming interpretation of access permissions.

Carlos Olarte, Elaine Pimentel, Camilo Rueda

Theory Pract. Log. Program., 2018

Brasilia Spring on Automated Reasoning.

Cláudia Nalon, Daniele Nantes Sobrinho, Elaine Pimentel, João Marcos

ACM SIGLOG News, 2018

The ILLTP Library for Intuitionistic Linear Logic.

Carlos Olarte, Valeria de Paiva, Elaine Pimentel, Giselle Reis

Proceedings of the Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2018

Proof systems: from nestings to sequents and back.

Elaine Pimentel

CoRR, 2018

Proving Structural Properties of Sequent Systems in Rewriting Logic.

Carlos Olarte, Elaine Pimentel, Camilo Rocha

Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018

A Semantical View of Proof Systems.

Elaine Pimentel

Proceedings of the Logic, Language, Information, and Computation, 2018

2017

On concurrent behaviors and focusing in linear logic.

Carlos Olarte, Elaine Pimentel

Theor. Comput. Sci., 2017

On subexponentials, focusing and modalities in concurrent systems.

Vivek Nigam, Carlos Olarte, Elaine Pimentel

Theor. Comput. Sci., 2017

A uniform framework for substructural logics with modalities.

Björn Lellmann, Carlos Olarte, Elaine Pimentel

Proceedings of the LPAR-21, 2017

2016

An extended framework for specifying and reasoning about proof systems.

Vivek Nigam, Elaine Pimentel, Giselle Reis

J. Log. Comput., 2016

Hybrid and Subexponential Linear Logics.

Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel

Proceedings of the 11th Workshop on Logical and Semantic Frameworks with Applications, 2016

From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction.

Agata Ciabattoni, Björn Lellmann, Carlos Olarte, Elaine Pimentel

Proceedings of the 11th Workshop on Logical and Semantic Frameworks with Applications, 2016

Hybrid and Subexponential Linear Logics Technical Report.

Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel

CoRR, 2016

2015

Subexponential concurrent constraint programming.

Carlos Olarte, Elaine Pimentel, Vivek Nigam

Theor. Comput. Sci., 2015

Multi-focused Proofs with Different Polarity Assignments.

Elaine Pimentel, Vivek Nigam, João Neto

Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015

Proof Search in Nested Sequent Calculi.

Björn Lellmann, Elaine Pimentel

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

2014

A Proof Theoretic Study of Soft Concurrent Constraint Programming.

Elaine Pimentel, Carlos Olarte, Vivek Nigam

Theory Pract. Log. Program., 2014

Proving Concurrent Constraint Programming Correct, Revisited.

Carlos Olarte, Elaine Pimentel

Proceedings of the Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2014

2013

A formal framework for specifying sequent calculus proof systems.

Dale Miller, Elaine Pimentel

Theor. Comput. Sci., 2013

Preface.

Valeria de Paiva, Mario R. F. Benevides, Vivek Nigam, Elaine Pimentel

Proceedings of the 6th Workshop on Intuitionistic Modal Logic and Applications, 2013

Dynamic Spaces in Concurrent Constraint Programming.

Carlos Olarte, Vivek Nigam, Elaine Pimentel

Proceedings of the 8th Workshop on Logical and Semantic Frameworks, 2013

A General Proof System for Modalities in Concurrent Constraint Programming.

Vivek Nigam, Carlos Olarte, Elaine Pimentel

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2012

Intersection Types from a Proof-theoretic Perspective.

Elaine Pimentel, Simona Ronchi Della Rocca, Luca Roversi

Fundam. Informaticae, 2012

A linear concurrent constraint approach for the automatic verification of access permissions.

Carlos Olarte, Elaine Pimentel, Camilo Rueda, Néstor Cataño

Proceedings of the Principles and Practice of Declarative Programming, 2012

2011

Strong normalization from an unusual point of view.

Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca

Theor. Comput. Sci., 2011

Preface.

Mauricio Ayala-Rincón, Elaine Pimentel, Fairouz Kamareddine

Theor. Comput. Sci., 2011

2010

Specifying Proof Systems in Linear Logic with Subexponentials.

Vivek Nigam, Elaine Pimentel, Giselle Reis

Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, 2010

2008

Preface.

Belo Horizonte, Elaine Pimentel, Mario R. F. Benevides

Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, 2008

2006

An Operational Characterization of Strong Normalization.

Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca

Proceedings of the Foundations of Software Science and Computation Structures, 2006

2005

On the Specification of Sequent Systems.

Elaine Pimentel, Dale Miller

Proceedings of the Logic for Programming, 2005

2004

Lazy Strong Normalization.

Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca

Proceedings of the Third International Workshop on Intersection Types and Related Systems, 2004

2003

Preface.

Ruy J. G. B. de Queiroz, Elaine Pimentel, Lucília Figueiredo

Proceedings of the 10th Workshop on Logic, Language, Information and Computation, 2003

2002

Using Linear Logic to Reason about Sequent Systems.

Dale Miller, Elaine Pimentel

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002