Luiz Carlos Pereira

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 10

Top Topics

Natural Deduction

Decision Procedures

Top Venues

Publications

Victor Nascimento, Luiz Carlos Pereira, Elaine Pimentel
An ecumenical view of proof-theoretic semantics. CoRR (2023)
Elane Pimentel, Luiz Carlos Pereira
A Tour on Ecumenical Systems (Invited Talk). CALCO (2023)
Luiz Carlos Pereira, Elaine Pimentel
On an ecumenical natural deduction with stoup - Part I: The propositional case. CoRR (2022)
Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales
Separability and harmony in ecumenical systems. CoRR (2022)
Elaine Pimentel, Luiz Carlos Pereira, Valeria de Paiva
An ecumenical notion of entailment. Synth. 198 (22-S) (2021)
Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales
A Pure View of Ecumenical Modalities. WoLLIC (2021)
Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales
Ecumenical Modal Logic. DaLí (2020)
Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales
Ecumenical modal logic. CoRR (2020)
Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, Luiz Carlos Pereira
A Proximity-Based Understanding of Conditionals. Trans. Large Scale Data Knowl. Centered Syst. 34 (2017)
Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, Luiz Carlos Pereira
PUC-Logic. DEXA Workshops (2016)
Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, Luiz Carlos Pereira
PUC-Logic. CoRR (2014)
Cécilia Englander, Edward Hermann Haeusler, Luiz Carlos Pereira
Finitely many-valued logics and natural deduction. Log. J. IGPL 22 (2) (2014)
Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, Luiz Carlos Pereira
Intuitionistic PUC-Logic for Constructive Counterfactuals. CoRR (2014)
Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, Luiz Carlos Pereira
PUC-Logic embedding of Lewis' Deontic Logics. CoRR (2014)
Lew Gordeev, Edward Hermann Haeusler, Luiz Carlos Pereira
Propositional proof compressions and DNF logic. Log. J. IGPL 19 (1) (2011)
Luiz Carlos Pereira, Edward Hermann Haeusler, Vaston G. Costa, Wagner Sanz
A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic. Stud Logica 96 (1) (2010)
Vaston G. Costa, Wagner Sanz, Edward Hermann Haeusler, Luiz Carlos Pereira
Peirce's Rule in a Full Natural Deduction System. LSFA (2009)
Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler
Preface: WoLLIC 2002 Electron. Notes Theor. Comput. Sci. 67 (2002)
Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler
9th Workshop on Logic, Language, Information and Computation. Log. J. IGPL 10 (6) (2002)
Haydée Werneck Poubel, Luiz Carlos Pereira
A Categorical Approach to Higher-level Introduction and Elimination Rules. Reports Math. Log. 28 (1994)
Luiz Carlos Pereira, Edward Hermann Haeusler
A Formalization of Sambin's Normalization for GL. Math. Log. Q. 39 (1993)