Darllan Conceição Pinto

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 3

Top Topics

Encoding Schemes

Propositional Logic

Expressive Power

Top Venues

Publications

Peter Arndt, Hugo Luiz Mariano, Darllan Conceição Pinto
Filter pairs and natural extensions of logics. Arch. Math. Log. 62 (1) (2023)
Darllan Conceição Pinto, Hugo Luiz Mariano
Algebraizable logics and a functorial encoding of its morphisms. Log. J. IGPL 25 (4) (2017)
Darllan Conceição Pinto, Hugo Luiz Mariano
Remarks on Propositional Logics and the categorial relationship between Institutions and Π-Institutions. CoRR (2016)