Atenção: Todas as denúncias são sigilosas e sua identidade será preservada.
Os campos nome e e-mail são de preenchimento opcional
Metadados | Descrição | Idioma |
---|---|---|
Autor(es): dc.creator | Dinis, Bruno | - |
Autor(es): dc.creator | Ferreira, Gilda | - |
Data de aceite: dc.date.accessioned | 2022-02-15T14:07:54Z | - |
Data de disponibilização: dc.date.available | 2022-02-15T14:07:54Z | - |
Data de envio: dc.date.issued | 2021-02-14 | - |
Data de envio: dc.date.issued | 2021-02-14 | - |
Data de envio: dc.date.issued | 2016 | - |
Fonte completa do material: dc.identifier | http://hdl.handle.net/10400.2/10491 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/10400.2/10491 | - |
Descrição: dc.description | The well-known embedding of full intuitionistic propositional calculus into the atomic polymorphic system Fat is possible due to the intriguing phenomenon of instantiation overflow. Instantiation overflow ensures that (in Fat) we can instantiate certain universal formulas by any formula of the system, not necessarily atomic. Until now only three types in Fat were identi ed with such property: the types that result from the Prawitz translation of the propositional connectives (\bot,\wedge, \vee) into Fat (or Girard's system F). Are there other types in Fat with instantiation overflow? In this paper we show that the answer is yes and we isolate a class of formulas with such property. | - |
Descrição: dc.description | info:eu-repo/semantics/publishedVersion | - |
Idioma: dc.language | en | - |
Relação: dc.relation | info:eu-repo/grantAgreement/FCT/SFRH/SFRH%2FBPD%2F97436%2F2013/PT | - |
Relação: dc.relation | info:eu-repo/grantAgreement/FCT/5876/135948/PT | - |
Relação: dc.relation | info:eu-repo/grantAgreement/FCT/5876/147209/PT | - |
Relação: dc.relation | info:eu-repo/grantAgreement/FCT/SFRH/SFRH%2FBPD%2F93278%2F2013/PT | - |
Direitos: dc.rights | openAccess | - |
Palavras-chave: dc.subject | Instantiation overflow | - |
Palavras-chave: dc.subject | Predicative polymorphism | - |
Palavras-chave: dc.subject | Natural deduction | - |
Título: dc.title | Instantiation overflow | - |
Tipo de arquivo: dc.type | livro digital | - |
Aparece nas coleções: | Repositório Aberto - Universidade Aberta (Portugal) |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: