Zobrazeno 1 - 1
of 1
pro vyhledávání: '"[en] LINEAR LOGIC"'
Autor:
HUGO HOFFMANN BORGES
[pt] O objetivo desta dissertação é construir um tableaux linear intuicionista a partir de um cálculo de sequentes relevante clássico. Os passos principais dessa construção são: i) tradução das regras do cálculo dos sequentes relevante cl
