André Rodrigo Ferreira Coggiola

Formalizamos um sistema formal dedutivo para a lógica clássica (proposicional e de primeira ordem) baseado em tableaux, chamado de tableaux dedutivos. Estudamos as propriedades desse sistema, em particular a relação de suas regras com a noção metafísica de ground.