Teoria de provas é o foco central, com tratamento de sequent calculi, sistemas formais e procedimentos como eliminação de cortes.

Metodologias para construção e transformação de provas são apresentadas, incluindo uma análise de normalização e critérios de canonicidade.

Destacam-se aplicações do quadro teórico em lógica matemática e na investigação das propriedades semânticas de sistemas formais.