A Formalization of Sambin's Normalization for GL. - Luiz Carlos Pereira; Edward Hermann Haeusler (Math. Log. Q., 1993)

A Categorical Approach to Higher-level Introduction and Elimination Rules. - Haydée Werneck Poubel; Luiz Carlos Pereira (Reports Math. Log., 1994)

Preface: WoLLIC 2002 - Ruy J. G. B. de Queiroz; Luiz Carlos Pereira; Edward Hermann Haeusler (WoLLIC, 2002)

9th Workshop on Logic, Language, Information and Computation. - Ruy J. G. B. de Queiroz; Luiz Carlos Pereira; Edward Hermann Haeusler (Log. J. IGPL, 2002)

Peirce's Rule in a Full Natural Deduction System. - Vaston G. Costa; Wagner Sanz; Edward Hermann Haeusler; Luiz Carlos Pereira (LSFA, 2009)

A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic. - Luiz Carlos Pereira; Edward Hermann Haeusler; Vaston G. Costa; Wagner Sanz (Stud Logica, 2010)

Propositional proof compressions and DNF logic. - Lew Gordeev; Edward Hermann Haeusler; Luiz Carlos Pereira (Log. J. IGPL, 2011)

Intuitionistic PUC-Logic for Constructive Counterfactuals. - Ricardo Queiroz de Araujo Fernandes; Edward Hermann Haeusler; Luiz Carlos Pereira (CoRR, 2014)

PUC-Logic embedding of Lewis' Deontic Logics. - Ricardo Queiroz de Araujo Fernandes; Edward Hermann Haeusler; Luiz Carlos Pereira (CoRR, 2014)

Finitely many-valued logics and natural deduction. - Cécilia Englander; Edward Hermann Haeusler; Luiz Carlos Pereira (Log. J. IGPL, 2014)

PUC-Logic. - Ricardo Queiroz de Araujo Fernandes; Edward Hermann Haeusler; Luiz Carlos Pereira (DEXA Workshops, 2016)

A Proximity-Based Understanding of Conditionals. - Ricardo Queiroz de Araujo Fernandes; Edward Hermann Haeusler; Luiz Carlos Pereira (Trans. Large Scale Data Knowl. Centered Syst., 2017)

Ecumenical Modal Logic. - Sonia Marin; Luiz Carlos Pereira; Elaine Pimentel; Emerson Sales (DaLí, 2020)

A Pure View of Ecumenical Modalities. - Sonia Marin; Luiz Carlos Pereira; Elaine Pimentel; Emerson Sales (WoLLIC, 2021)

An ecumenical notion of entailment. - Elaine Pimentel; Luiz Carlos Pereira; Valeria de Paiva (Synth., 2021)

Separability and harmony in ecumenical systems. - Sonia Marin; Luiz Carlos Pereira; Elaine Pimentel; Emerson Sales (CoRR, 2022)

On an ecumenical natural deduction with stoup - Part I: The propositional case. - Luiz Carlos Pereira; Elaine Pimentel (CoRR, 2022)

A Tour on Ecumenical Systems (Invited Talk). - Elaine Pimentel; Luiz Carlos Pereira (CALCO, 2023)

An ecumenical view of proof-theoretic semantics. - Victor Nascimento; Luiz Carlos Pereira; Elaine Pimentel (CoRR, 2023)

On an Ecumenical Natural Deduction with Stoup. Part I: The Propositional Case. - Luiz Carlos Pereira; Elaine Pimentel (Perspectives on Deduction, 2024)

Translations and Prawitz's Ecumenical System. - Luiz Carlos Pereira; Elaine Pimentel; Valeria de Paiva (Stud Logica, 2025)