Luiz Carlos Pereira

25 papers B 1C 3Journal 17Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Separability and harmony in ecumenical systems.
J. Log. Comput.
Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales
2025 J jnl
Translations and Prawitz's Ecumenical System.
Stud Logica
Luiz Carlos Pereira, Elaine Pimentel, Valeria de Paiva
2024 — ch.
On an Ecumenical Natural Deduction with Stoup. Part I: The Propositional Case.
Perspectives on Deduction
Luiz Carlos Pereira, Elaine Pimentel
2023 B conf
A Tour on Ecumenical Systems (Invited Talk).
CALCO
Elaine Pimentel, Luiz Carlos Pereira
2023 J jnl
An ecumenical view of proof-theoretic semantics.
CoRR
Victor Nascimento, Luiz Carlos Pereira, Elaine Pimentel
2022 J jnl
On an ecumenical natural deduction with stoup - Part I: The propositional case.
CoRR
Luiz Carlos Pereira, Elaine Pimentel
2022 J jnl
Separability and harmony in ecumenical systems.
CoRR
Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales
2021 C conf
A Pure View of Ecumenical Modalities.
WoLLIC
Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales
2021 J jnl
An ecumenical notion of entailment.
Synth.
Elaine Pimentel, Luiz Carlos Pereira, Valeria de Paiva
2020 — conf
Ecumenical Modal Logic.
DaLí
Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales
2020 J jnl
Ecumenical modal logic.
CoRR
Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales
2017 J jnl
A Proximity-Based Understanding of Conditionals.
Trans. Large Scale Data Knowl. Centered Syst.
Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, Luiz Carlos Pereira
2016 — conf
PUC-Logic.
DEXA Workshops
Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, Luiz Carlos Pereira
2014 J jnl
Finitely many-valued logics and natural deduction.
Log. J. IGPL
Cécilia Englander, Edward Hermann Haeusler, Luiz Carlos Pereira
2014 J jnl
Intuitionistic PUC-Logic for Constructive Counterfactuals.
CoRR
Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, Luiz Carlos Pereira
2014 J jnl
PUC-Logic embedding of Lewis' Deontic Logics.
CoRR
Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, Luiz Carlos Pereira
2014 J jnl
PUC-Logic.
CoRR
Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, Luiz Carlos Pereira
2011 J jnl
Propositional proof compressions and DNF logic.
Log. J. IGPL
Lew Gordeev, Edward Hermann Haeusler, Luiz Carlos Pereira
2010 J jnl
A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic.
Stud Logica
Luiz Carlos Pereira, Edward Hermann Haeusler, Vaston G. Costa, Wagner Sanz
2009 — conf
Peirce's Rule in a Full Natural Deduction System.
LSFA
Vaston G. Costa, Wagner Sanz, Edward Hermann Haeusler, Luiz Carlos Pereira
2002 C ed.
9th Workhop on Logic, Language, Information and Computation, WoLLIC 2002, Rio de Janeiro, Brazil, July 30 - August 2, 2002
WoLLIC
Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler
2002 J jnl
9th Workshop on Logic, Language, Information and Computation.
Log. J. IGPL
Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler
2002 C conf
Preface: WoLLIC 2002
WoLLIC
Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler
1994 J jnl
A Categorical Approach to Higher-level Introduction and Elimination Rules.
Reports Math. Log.
Haydée Werneck Poubel, Luiz Carlos Pereira
1993 J jnl
A Formalization of Sambin's Normalization for GL.
Math. Log. Q.
Luiz Carlos Pereira, Edward Hermann Haeusler