Course
Master's degree
Research title
Tableaux Dedutivos
Research abstract
We formalize a deductive formal system for classical logic (propositional and first order) based on tableaux, called deductive tableaux. We study the properties of this system, in particular the relation of its rules with the metaphysical notion of ground.
Graduate Advisor
Rodrigo Bacellar
Lattes (curriculum vitae)
Funding
CAPES
Date of defense
10/09/2021