1
Assuntos:
“...[en] SEQUENT CALCULUS...”
[pt] CÁLCULO DE SEQÜENTES DE SUCEDENTE MÚLTIPLO PARA LÓGICA INTUICIONISTA DE PRIMEIRA ORDEM
Tese
2
Assuntos:
“...[en] SEQUENT CALCULUS...”
[pt] SISTEMAS DE PROVA E GERAÇÃO DE CONTRA EXEMPLO PARA LÓGICA PROPOSICIONAL MINIMAL IMPLICACIONAL
Tese
3
Assuntos:
“...[en] SEQUENT CALCULUS...”
[pt] ALGUMAS RELAÇÕES ENTRE CÁLCULO DE SEQUENTES E DEDUÇÃO NATURAL
Tese
4
5
Assuntos:
“...Sequent calculus...”
Sobre a lógica da verdade pragmática em cálculo de sequentes
Dissertação