Olá,
As provas canonicas são as provas que não são "roundabout"; i.e., provas
que são diretas e que não podem ser reduzidas. Se não me engano, são as
provas onde regras de introdução e eliminação consecutivas são eliminadas.
Por exemplo, se temos provas para A->B e A da forma
[A]
...
Olá!
Eu estou estudando Dummett e sua teoria do significado. Em diversas
ocasiões, ele defende a necessidade de distinguir entre prova e prova
canônica, sendo que a última seria responsável por determinado o
significado dos conectivos lógicos. Não obstante, não há uma definição
precisa de prova
O Departamento de Ciência da Computação da Universidade Federal
do Rio de Janeiro está com inscrições abertas para Concurso Público para o
cargo de Professor da Carreira de Magistério Superior até o dia 6/2/2018
para as seguintes áreas:
