Darllan Conceição Pinto

According to our database, Darllan Conceição Pinto authored at least 3 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2023

Filter pairs and natural extensions of logics.

Peter Arndt, Hugo Luiz Mariano, Darllan Conceição Pinto

Arch. Math. Log., 2023

2017

Algebraizable logics and a functorial encoding of its morphisms.

Darllan Conceição Pinto, Hugo Luiz Mariano

Log. J. IGPL, 2017

2016

Remarks on Propositional Logics and the categorial relationship between Institutions and Π-Institutions.

Darllan Conceição Pinto, Hugo Luiz Mariano

CoRR, 2016