Atenção:
O eduCAPES é um repositório de objetos educacionais, não sendo responsável por materiais de terceiros submetidos na plataforma. O usuário assume ampla e total responsabilidade quanto à originalidade, à titularidade e ao conteúdo, citações de obras consultadas, referências e outros elementos que fazem parte do material que deseja submeter. Recomendamos que se reporte diretamente ao(s) autor(es), indicando qual parte do material foi considerada imprópria (cite página e parágrafo) e justificando sua denúncia.
Caso seja o autor original de algum material publicado indevidamente ou sem autorização, será necessário que se identifique informando nome completo, CPF e data de nascimento. Caso possua uma decisão judicial para retirada do material, solicitamos que informe o link de acesso ao documento, bem como quaisquer dados necessários ao acesso, no campo abaixo.
Todas as denúncias são sigilosas e sua identidade será preservada. Os campos nome e e-mail são de preenchimento opcional. Porém, ao deixar de informar seu e-mail, um possível retorno será inviabilizado e/ou sua denúncia poderá ser desconsiderada no caso de necessitar de informações complementares.
Metadados | Descrição | Idioma |
---|---|---|
Autor(es): dc.creator | Ferreira, Gilda | - |
Autor(es): dc.creator | Firmino, Paulo | - |
Data de aceite: dc.date.accessioned | 2025-08-21T15:24:31Z | - |
Data de disponibilização: dc.date.available | 2025-08-21T15:24:31Z | - |
Data de envio: dc.date.issued | 2024-04-11 | - |
Data de envio: dc.date.issued | 2024-04-11 | - |
Data de envio: dc.date.issued | 2024-04-04 | - |
Fonte completa do material: dc.identifier | http://hdl.handle.net/10400.2/15924 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/10400.2/15924 | - |
Descrição: dc.description | Realizability notions in mathematical logic have a long history, which can be tracedback to the work of Stephen Kleene in the 1940s, aimed at exploring the foundations ofintuitionistic logic. Kleene’s initial realizability laid the ground for more sophisticatednotions such as Kreisel’s modified realizability and various modern approaches. Inthis context, our work aligns with the lineage of realizability strategies that emphasizethe accumulation, rather than the propagation of precise witnesses. In this paper, weintroduce a new notion of realizability, namely herbrandized modified realizability.This novel form of (cumulative) realizability, presented within the framework of semi-intuitionistic logic is based on a recently developed star combinatory calculus, whichenables the gathering of witnesses into nonempty finite sets. We also show that theprevious analysis can be extended from logic to (Heyting) arithmetic. | - |
Descrição: dc.description | The authors are grateful to Fernando Ferreira for interesting discussions on the topic. They extend their gratitude to the anonymous referee for providing valuable suggestions, which inspired the addition of Sect. 4.3 to the manuscript. Both authors acknowledge the support of Fundação para a Ciência e a Tecnologia under the Projects: UIDB/04561/2020, UIDB/00408/2020 and UIDP/00408/2020 and are also grateful to Centro de Matemática, Aplicações Fundamentais e Investigação Operacional (Universidade de Lisboa). The first author is also grateful to LASIGE - Computer Science and Engineering Research Centre Herbrandized modified realizability (Universidade de Lisboa). The second author also benefitted from Fundação para a Ciência e a Tecnologia doctoral Grant 2022.12585.BD. | - |
Descrição: dc.description | info:eu-repo/semantics/publishedVersion | - |
Formato: dc.format | application/pdf | - |
Idioma: dc.language | en | - |
Publicador: dc.publisher | Springer | - |
Relação: dc.relation | https://rdcu.be/dDJK8 | - |
Direitos: dc.rights | http://creativecommons.org/licenses/by/4.0/ | - |
Palavras-chave: dc.subject | Realizability | - |
Palavras-chave: dc.subject | Star combinatory calculus | - |
Palavras-chave: dc.subject | Finite sets | - |
Palavras-chave: dc.subject | Intuitionisticlogic | - |
Palavras-chave: dc.subject | Heyting arithmetic | - |
Título: dc.title | Herbrandized modified realizability | - |
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: