Jefferson de Barros Santos | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Edward Hermann Haeusler
11 publications
Bruno Cuconato
3 publications
Bruno Lopes Vieira
1 publication

research

∙ 06/25/2021

A logical framework with a graph meta-language

We conjecture that the relative unpopularity of logical frameworks among...

0 Bruno Cuconato, et al. ∙

research

∙ 05/06/2019

Revisiting Counter-model Generation for Minimal Implicational Logic

The LMT^→ sequent calculus was introduced in Santos (2016). This paper p...

0 Jefferson de Barros Santos, et al. ∙