Luiz Carlos Pereira

According to our database, Luiz Carlos Pereira authored at least 19 papers between 1993 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

An ecumenical view of proof-theoretic semantics.

Victor Nascimento, Luiz Carlos Pereira, Elaine Pimentel

CoRR, 2023

A Tour on Ecumenical Systems (Invited Talk).

Elaine Pimentel, Luiz Carlos Pereira

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

2022

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

Luiz Carlos Pereira, Elaine Pimentel

CoRR, 2022

Separability and harmony in ecumenical systems.

Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales

CoRR, 2022

2021

An ecumenical notion of entailment.

Elaine Pimentel, Luiz Carlos Pereira, Valeria de Paiva

Synth., 2021

A Pure View of Ecumenical Modalities.

Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales

Proceedings of the Logic, Language, Information, and Computation, 2021

2020

Ecumenical Modal Logic.

Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales

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

2017

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

2016

PUC-Logic.

Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, Luiz Carlos Pereira

Proceedings of the 27th International Workshop on Database and Expert Systems Applications, 2016

2014

Finitely many-valued logics and natural deduction.

Cécilia Englander, Edward Hermann Haeusler, Luiz Carlos Pereira

Log. J. IGPL, 2014

PUC-Logic embedding of Lewis' Deontic Logics.

Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, Luiz Carlos Pereira

CoRR, 2014

Intuitionistic PUC-Logic for Constructive Counterfactuals.

Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, Luiz Carlos Pereira

CoRR, 2014

2011

Propositional proof compressions and DNF logic.

Lew Gordeev, Edward Hermann Haeusler, Luiz Carlos Pereira

Log. J. IGPL, 2011

2010

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

2009

Peirce's Rule in a Full Natural Deduction System.

Vaston G. Costa, Wagner Sanz, Edward Hermann Haeusler, Luiz Carlos Pereira

Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, 2009

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

Preface: WoLLIC 2002

Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler

Proceedings of the 9th Workhop on Logic, Language, Information and Computation, 2002

1994

A Categorical Approach to Higher-level Introduction and Elimination Rules.

Haydée Werneck Poubel, Luiz Carlos Pereira

Reports Math. Log., 1994

1993

A Formalization of Sambin's Normalization for GL.

Luiz Carlos Pereira, Edward Hermann Haeusler

Math. Log. Q., 1993