Percorrer por assunto Intuitionistic logic
Mostrar 1-5 de um total de 5 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
2012 | Characterising strongly normalising intuitionistic terms | Espírito Santo, José; Ivetic, J,; Likavec, Silvia | Artigo | Acesso aberto |
28-Ago-2013 | A coinductive approach to proof search | Espírito Santo, José; Matthes, Ralph; Pinto, Luís F. | Artigo em ata de conferência | Acesso aberto |
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 |