Publications
2024
Reasoning About Group Polarization:From Semantic Games to Sequent Systems (pdf) by Robert Freiman, Carlos Olarte, Elaine Pimentel and Christian Fermüller, LPAR-25, 2024.
On an ecumenical natural deduction with stoup - Part I: The propositional case (pdf) by Luiz Carlos Pereira and Elaine Pimentel, accepted to Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction, 2024.
Translations and Prawitz's Ecumenical system (pdf) by Luiz Carlos Pereira, Elaine Pimentel and Valeria de Paiva, accepted to Studia Logica, 2024.
Separability and harmony in ecumenical systems (pdf) by Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel and Emerson Sales, accepted to the Journal of Logic and Computation, 2024.
Proceedings of the 20th Conference on Computability in Europe, CiE 2024, Amsterdam, Netherlands, by Ludovic Levy Patey, Elaine Pimentel, Lorenzo Galeotti and Florin Manea. LNCS 2024.
2023
A tour on ecumenical systems (pdf) by Elaine Pimentel and Luiz Carlos Pereira, CALCO 2023.
A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems (pdf) by Carlos Olarte, Elaine Pimentel and Camilo Rocha, Journal of Logical and Algebraic Methods in Programming vol 130, 2023.
Multi-modalities and non-commutativity/associativity in functorial linear logic: a case study (pdf) by Carlos Olarte and Elaine Pimentel, TTLA 2023.
Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, CSL 2023, Warsaw, Poland by Bartek Klin, Elaine Pimentel. LIPIcs 252, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023.
2022
From axioms to synthetic inference rules via focusing (pdf) by Sonia Marin, Dale Miller, Elaine Pimentel and Marco Volpe, Annals of Pure and Applied Logic Volume 173, Issue 5, 2022.
A linear logic framework for multimodal logics (pdf) by Bruno Xavier, Carlos Olarte and Elaine Pimentel MSCS 32(9), pp. 1176--1204, 2022.
Non-associative, non-commutative multi-modal linear logic (pdf) by Eben Blaisdell, Max Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov, LNCS volume 13385, IJCAR, 2022.
Logic, Language, Information, and Computation -- Proceedings of the 28th International Workshop, WoLLIC 2022, Iași, Romania by Agata Ciabattoni, Elaine Pimentel, Ruy J. G. B. de Queiroz. Lecture Notes in Computer Science 13468, Springer 2022.
2021
A pure view of ecumenical modalities (pdf) by Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel and Emerson Sales. LNCS 13038 , 388-407, WoLLIC 2021.
An ecumenical notion of entailment (pdf) by Elaine Pimentel, Luiz Carlos Pereira and Valeria de Paiva, Synthese, 198(22), 5391-5413, 2021.
Process-As-Formula Interpretation: A Substructural Multimodal View (pdf) by Elaine Pimentel, Carlos Olarte, Vivek Nigam. Invited talk at FSCD 2021: 3:1-3:21, 2021.
Hypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexity (pdf) by Tiziano Dalmonte, Björn Lellmann, Nicola Olivetti and Elaine Pimentel, Journal of Logic and Computation, Volume 31, Issue 1, 67--111, 2021.
2020
A fresh view of linear logic as a logical framework (pdf) by Carlos Olarte, Elaine Pimentel and Bruno Xavier, Proceedings of LSFA 2020, Electronic Notes in Theoretical Computer Science, Vol. 351, Pages 143-165.
Focusing, Axioms and Synthetic Inference Rules (Extended Abstract) (pdf) by Elaine Pimentel, Sonia Marin, Dale Miller and Marco Volpe, invited talk at IJCAR 2020.
Ecumenical modal logic (pdf) by Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel and Emerson Sales, Proceedings of Dalí 2020, LNCS 12569, pp 187--204, 2020.
Countermodel construction via optimal hypersequent calculi for non-normal modal logics (pdf) by Tiziano Dalmonte, Bjoern Lellmann, Nicola Olivetti and Elaine Pimentel, LNCS 11972, Logical Foundations of Computer Science, LFCS 2020.
2019
A Game Model for Proofs with Costs (pdf) by Timo Lang, Carlos Olarte, Elaine Pimentel and Christian G. Fermüller, Lecture Notes in Computer Science 11714:241-258, TABLEAUX 2019.
Sequentialising nested systems (pdf) by Elaine Pimentel, Revantha Ramanayake and Björn Lellmann, Lecture Notes in Computer Science 11714:147-165, TABLEAUX 2019.
Hybrid Linear Logic, revisited (pdf) by Kaustuv Chaudhuri, Joëlle Despeyroux, Carlos Olarte and Elaine Pimentel, MSCS Volume 29 Issue 8, pp. 1151-1176, 2019.
Benchmarking linear logic translations (pdf) by Carlos Olarte, Valeria de Paiva, Elaine Pimentel and Giselle Reis, EPTCS 292, Proceedings of Linearity & TLLA 2018, 2019.
Modularisation of sequent calculi for normal and non-normal modalities (pdf) by Björn Lellmann and Elaine Pimentel, ACM Transactions On Computational Logic, Volume 20, Issue 2, 2019.
2018
A semantical view of proof systems (pdf) by Elaine Pimentel, invited talk at WoLLIC, LNCS 10944: 61--76, 2018.
A proof theoretical view of ecumenical systems (pdf) by Elaine Pimentel, Luiz Carlos Pereira and Valeria de Paiva, short paper accepted to LSFA 2018.
Proving Structural Properties of Sequent Systems in Rewriting Logic (pdf) by Carlos Olarte, Elaine Pimentel and Camilo Rocha, WRLA 2018, LNCS 11152: 115--135, 2018.
A Concurrent Constraint Programming Interpretation of Access Permissions (pdf) by Carlos Olarte, Elaine Pimentel and Camilo Rueda, TPLP vol. 18(2), pp. 252-295, 2018.
2017
On subexponentials, focusing and modalities in concurrent systems (pdf) by Vivek Nigam, Carlos Olarte and Elaine Pimentel, TCS 693, 35-58, 2017.
A uniform framework for substructural logics with modalities (pdf) by Björn Lellmann, Carlos Olarte and Elaine Pimentel, Proceedings of LPAR-21, EPiC series in Computing, vol. 46, pp. 435-455, 2017.
From cut-free calculi to automated deduction: the case of bounded contraction (pdf) by Agata Ciabattoni, Björn Lellmann, Carlos Olarte and Elaine Pimentel, ENTCS 332: 75-93, 2017.
Hybrid and Subexponential Linear Logics (pdf) by Joëlle Despeyroux, Carlos Olarte and Elaine Pimentel, ENTCS 332: 95-111, 2017.
On concurrent behaviors and focusing in linear logic (pdf) by Carlos Olarte and Elaine Pimentel, TCS 685: 46-64, 2017.
2016
Multi-focused Proofs with Different Polarity Assignments (pdf) by Elaine Pimentel, Vivek Nigam and João Neto, ENTCS 323: 163-179, 2016.
An Extended Framework for Specifying and Reasoning about Proof Systems (pdf) by Vivek Nigam, Elaine Pimentel and Giselle Reis, Journal of Logic and Computation 26(2): 539-576, 2016.
2015
Proof search in nested sequent calculi (pdf) by Björn Lellmann and Elaine Pimentel, Proceedings of LPAR-20, LNCS 9450: 558-574, 2015.
Subexponential concurrent constraint programming (pdf) by Carlos Olarte, Elaine Pimentel and Vivek Nigam, TCS, 606: 98-120, 2015.
Proving concurrent constraint programming correct, revisited (pdf) by Carlos Olarte and Elaine Pimentel, ENTCS, 312: 179-195, 2015.
2014
Proceedings 6th Workshop on Intuitionistic Modal Logic and Applications (IMLA2013) by Valeria de Paiva, Mario Benevides, Vivek Nigam and Elaine Pimentel, ENTCS 300, 2014.
A Proof Theoretic Study of Soft Concurrent Constraint Programming (pdf) by Elaine Pimentel, Carlos Olarte and Vivek Nigam TPLP 14(4-5): 649-663, 2014.
Dynamic Spaces in Concurrent Constraint Programming (pdf) by Carlos Olarte, Vivek Nigam and Elaine Pimentel, ENTCS 305: 103-121, 2014.
2013
Relating Focused Proofs with Different Polarity Assignments (pdf) by Vivek Nigam and Elaine Pimentel, LFMTP 2013.
A General Proof System for Modalities in Concurrent Constraint Programming (pdf) by Vivek Nigam, Carlos Olarte and Elaine Pimentel, CONCUR 2013 (pdf of the extended version), 2013.
A formal framework for specifying sequent calculus proof systems (pdf) by Dale Miller and Elaine Pimentel, TCS 474: 98-116, 2013.
2012
Intersection Types from a proof-theoretic perspective (pdf) by Elaine Pimentel, Luca Roversi and Simona Ronchi della Rocca, Fundamenta Informaticae 121 (1-4), p.253-274, 2012.
A Linear Concurrent Constraint based approach for the automatic verification of access permissions (pdf) by Carlos Olarte, Elaine Pimentel, Camilo Rueda and Néstor Cataño, Proceedings of the 14th symposium on Principles and practice of Declarative Programming (PPDP) p. 207-216, 2012.
2011
Specifying proof systems in linear logic with subexponentials (pdf) by Vivek Nigam, Elaine Pimentel and Giselle Reis, ENTCS 269: 109-123, 2011.
Strong normalization from an unusual point of view (pdf) by Luca Paolini, Elaine Pimentel and Simona Ronchi della Rocca, TCS 412: 1903-1915, 2011.
Special Edition of Logical and Semantic Frameworks with Applications, TCS 412, Issue 37: 4851-4966, 2011.
Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications by Simona Ronchi della Rocca and Elaine Pimentel, EPTCS 81, 2011.
2010
Using Linear Logic with Subexponentials to Implement Logic Interpreters (pdf) by Giselle Reis and Elaine Pimentel, Proceedings of SBMF, 2010.
Proceedings Fifth Workshop on Intersection Types and Related Systems by Elaine Pimentel, Betti Venneri and Joe Wells, EPTCS 45, 2010.
2009
Proceedings of the Workshop on Logical and Semantic Frameworks with Applications (LSFA 2009) by Elaine Pimentel and Mario Benevides, ENTCS 247: 1-156, 2009.
On the Specification of Sequent Systems by Elaine Pimentel and Dale Miller The Bulletin of Symbolic Logic (15) link: XIV Latin American Symposium on Mathematical Logic (SLALM), Paraty, Brazil, May 11—17, p. 364, 2009.
2007
PLLIC: provador para as lógicas linear, intuicionista e clássica (pdf) by Elaine Pimentel, Claudiane Rodrigues, Ildeu Fernandes, Wesley da Mata and Willian Leal, Proceedings of LAPTEC, 2007.
2006
An operational characterization of strong normalization (pdf) by Luca Paolini, Elaine Pimentel and Simona Ronchi della Rocca, LNCS 3921:. 367 - 381, 2006.
2005
On the specification of sequent systems (pdf) by Elaine Pimentel and Dale Miller, LNCS 3835: 352 - 366, 2005.
Intersection Types - a proof theoretical approach (pdf) by Elaine Pimentel, Luca Roversi and Simona Ronchi della Rocca, Proceedings of Structures and Deduction, workshop associated to ICALP, 2005.
Lazy strong normalization (pdf) by Luca Paolini, Elaine Pimentel and Simona Ronchi della Rocca, ENTCS 136: 103 - 116, 2005.
Before 2004
Linear logic as a framework for specifying sequent calculus (pdf) by Dale Miller and Elaine Pimentel, Lecture Notes in Logic 17, p. 111 - 135, 2004.
Proceedings of WoLLIC 2003 by Ruy de Queiroz, Elaine Pimentel and Lucilia Figueiredo, ENTCS 84: 229-231, 2003.
Using linear logic to reason about sequent systems (pdf) by Dale Miller and Elaine Pimentel, LNCS 381: 2 - 23, 2002.
Linear logic as a framework for specifying sequent calculus (pdf) Ph.D. thesis (in English), 2001.
Types in Programming Languages (pdf) by Carlos Camarão, Lucilia Figueiredo and Elaine Pimentel, Anais do III Simpósio Brasileiro de Linguagem de Programação 1999.
Structured operational semantics (portuguese) (ps) by Elaine Pimentel and Marcelo Silva, Technical Report, UFOP, 1998.