Darllan Conceição Pinto

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

Collaborative distances:

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

2025

Congruence filter pairs, equational filter pairs and adjoints.

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

J. Log. Comput., 2025

Expanding the Leibniz Hierarchy.

Ugo C. M. Almeida, Darllan Conceição Pinto

J. Log. Comput., 2025

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