Ruan V. B. Carvalho

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 2

Top Topics

Cut Elimination

Graph Theoretical

Propositional Logic

Top Venues

Publications

Ruan V. B. Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
Propositional intuitionistic multiple-conclusion calculus via proof graphs. Log. J. IGPL 27 (1) (2019)
Ruan V. B. Carvalho, Laís S. Andrade, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
Sequentialization for full N-Graphs via sub-N-Graphs. CoRR (2018)