Mostrar 1-5 de um total de 5 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
1998 | Cut-elimination and a permutation-free sequent calculus for intuitionistic logic | Pinto, Luís F.; Dyckhoff, Roy | Artigo | Acesso aberto |
1995 | Loop-free construction of counter-models for intuitionistic propositional logic | Pinto, Luís F.; Dyckhoff, Roy | Artigo em ata de conferência | Acesso aberto |
1999 | Permutability of proofs in intuitionistic sequent calculi | Pinto, Luís F.; Dyckhoff, Roy | Artigo | Acesso aberto |
1999 | Proof search in constructive logics | Pinto, Luís F.; Dyckhoff, Roy | Artigo em ata de conferência | Acesso aberto |
2000 | Sequent calculi for the normal terms of the $\lambda\Pi$- and $\lambda\Pi\Sigma$-calculi | Pinto, Luís F.; Dyckhoff, Roy | Artigo | Acesso aberto |