Elaine Pimentel

Orcid: 0000-0002-7113-0801

Affiliations:
  • University College London, UK


According to our database1, Elaine Pimentel authored at least 54 papers between 2002 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems.
J. Log. Algebraic Methods Program., 2023

Explorations in Subexponential Non-associative Non-commutative Linear Logic.
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).
CoRR, 2023

An ecumenical view of proof-theoretic semantics.
CoRR, 2023

A Tour on Ecumenical Systems (Invited Talk).
Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

2022
A linear logic framework for multimodal logics.
Math. Struct. Comput. Sci., October, 2022

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

Separability and harmony in ecumenical systems.
CoRR, 2022

From axioms to synthetic inference rules via focusing.
Ann. Pure Appl. Log., 2022

Non-associative, Non-commutative Multi-modal Linear Logic.
Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2021
An ecumenical notion of entailment.
Synth., 2021

Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity.
J. Log. Comput., 2021

A Pure View of Ecumenical Modalities.
Proceedings of the Logic, Language, Information, and Computation, 2021

Process-As-Formula Interpretation: A Substructural Multimodal View (Invited Talk).
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.
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.
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2020

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

2019
Modularisation of Sequent Calculi for Normal and Non-normal Modalities.
ACM Trans. Comput. Log., 2019

Hybrid linear logic, revisited.
Math. Struct. Comput. Sci., 2019

Sequentialising Nested Systems.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

A Game Model for Proofs with Costs.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

2018
A concurrent constraint programming interpretation of access permissions.
Theory Pract. Log. Program., 2018

Brasilia Spring on Automated Reasoning.
ACM SIGLOG News, 2018

The ILLTP Library for Intuitionistic Linear Logic.
Proceedings of the Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2018

Proof systems: from nestings to sequents and back.
CoRR, 2018

Proving Structural Properties of Sequent Systems in Rewriting Logic.
Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018

A Semantical View of Proof Systems.
Proceedings of the Logic, Language, Information, and Computation, 2018

2017
On concurrent behaviors and focusing in linear logic.
Theor. Comput. Sci., 2017

On subexponentials, focusing and modalities in concurrent systems.
Theor. Comput. Sci., 2017

A uniform framework for substructural logics with modalities.
Proceedings of the LPAR-21, 2017

2016
An extended framework for specifying and reasoning about proof systems.
J. Log. Comput., 2016

Hybrid and Subexponential Linear Logics.
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.
Proceedings of the 11th Workshop on Logical and Semantic Frameworks with Applications, 2016

Hybrid and Subexponential Linear Logics Technical Report.
CoRR, 2016

2015
Subexponential concurrent constraint programming.
Theor. Comput. Sci., 2015

Multi-focused Proofs with Different Polarity Assignments.
Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015

Proof Search in Nested Sequent Calculi.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

2014
A Proof Theoretic Study of Soft Concurrent Constraint Programming.
Theory Pract. Log. Program., 2014

Proving Concurrent Constraint Programming Correct, Revisited.
Proceedings of the Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2014

2013
A formal framework for specifying sequent calculus proof systems.
Theor. Comput. Sci., 2013

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

Dynamic Spaces in Concurrent Constraint Programming.
Proceedings of the 8th Workshop on Logical and Semantic Frameworks, 2013

A General Proof System for Modalities in Concurrent Constraint Programming.
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2012
Intersection Types from a Proof-theoretic Perspective.
Fundam. Informaticae, 2012

A linear concurrent constraint approach for the automatic verification of access permissions.
Proceedings of the Principles and Practice of Declarative Programming, 2012

2011
Strong normalization from an unusual point of view.
Theor. Comput. Sci., 2011

Preface.
Theor. Comput. Sci., 2011

2010
Specifying Proof Systems in Linear Logic with Subexponentials.
Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, 2010

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

2006
An Operational Characterization of Strong Normalization.
Proceedings of the Foundations of Software Science and Computation Structures, 2006

2005
On the Specification of Sequent Systems.
Proceedings of the Logic for Programming, 2005

2004
Lazy Strong Normalization.
Proceedings of the Third International Workshop on Intersection Types and Related Systems, 2004

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

2002
Using Linear Logic to Reason about Sequent Systems.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002


  Loading...