Luiz Carlos Pereira

According to our database1, Luiz Carlos Pereira authored at least 20 papers between 1993 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
On an Ecumenical Natural Deduction with Stoup. Part I: The Propositional Case.
Proceedings of the Perspectives on Deduction: Contemporary Studies in the Philosophy, 2024

2023
An ecumenical view of proof-theoretic semantics.
CoRR, 2023

A Tour on Ecumenical Systems (Invited Talk).
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.
CoRR, 2022

Separability and harmony in ecumenical systems.
CoRR, 2022

2021
An ecumenical notion of entailment.
Synth., 2021

A Pure View of Ecumenical Modalities.
Proceedings of the Logic, Language, Information, and Computation, 2021

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

2017
A Proximity-Based Understanding of Conditionals.
Trans. Large Scale Data Knowl. Centered Syst., 2017

2016
PUC-Logic.
Proceedings of the 27th International Workshop on Database and Expert Systems Applications, 2016

2014
Finitely many-valued logics and natural deduction.
Log. J. IGPL, 2014

PUC-Logic embedding of Lewis' Deontic Logics.
CoRR, 2014

Intuitionistic PUC-Logic for Constructive Counterfactuals.
CoRR, 2014

2011
Propositional proof compressions and DNF logic.
Log. J. IGPL, 2011

2010
A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic.
Stud Logica, 2010

2009
Peirce's Rule in a Full Natural Deduction System.
Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, 2009

2002
9th Workshop on Logic, Language, Information and Computation.
Log. J. IGPL, 2002

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

1994
A Categorical Approach to Higher-level Introduction and Elimination Rules.
Reports Math. Log., 1994

1993
A Formalization of Sambin's Normalization for GL.
Math. Log. Q., 1993


  Loading...