Percorrer por assunto Natural deduction
Mostrar 1-6 de um total de 6 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 |
1999 | Permutability of proofs in intuitionistic sequent calculi | Pinto, Luís F.; Dyckhoff, Roy | Artigo | Acesso aberto |
25-Jan-2022 | Sistemas dedutivos para Lógica Quântica Minimal | Sousa, Ana Catarina Lopes Carvalho | Dissertação de mestrado | Acesso aberto |
2020 | The call-by-value Lambda-Calculus with generalized applications | Espírito Santo, José | Artigo em ata de conferência | Acesso aberto |
2013 | Towards a canonical classical natural deduction system | Espírito Santo, José | Artigo | Acesso aberto |
2023 | Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications | Espírito Santo, José; Frade, M. J.; Pinto, Luís F. | Artigo | Acesso aberto |