Atomic polymorphism and the existence property

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.creatorFerreira, Gilda-
Data de aceite: dc.date.accessioned2020-09-24T17:29:15Z-
Data de disponibilização: dc.date.available2020-09-24T17:29:15Z-
Data de envio: dc.date.issued2020-03-02-
Data de envio: dc.date.issued2020-03-02-
Data de envio: dc.date.issued2018-
Fonte completa do material: dc.identifierhttp://hdl.handle.net/10400.2/9416-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/10400.2/9416-
Descrição: dc.descriptionWe present a purely proof-theoretic proof of the existence property for the full intuitionistic first-order predicate calculus, via natural deduction, in which commuting conversions are not needed. Such proof illustrates the potential of an atomic polymorphic system with only three generators of formulas – conditional and first and second-order universal quantifiers – as a tool for proof-theoretical studies.-
Descrição: dc.descriptionThe author acknowledges the support of Fundação para a Ciência e a Tecnologia [UID/MAT/04561/2013, UID/CEC/00408/2013 and grant SFRH/BPD/93278/2013] and is also grateful to Centro de Matemática, Aplicações Fundamentais e Investigação Operacional and LargeScale Informatics Systems Laboratory.-
Descrição: dc.descriptioninfo:eu-repo/semantics/publishedVersion-
Idioma: dc.languageen-
Publicador: dc.publisherElsevier-
Relação: dc.relationinfo:eu-repo/grantAgreement/FCT/5876/147209/PT-
Relação: dc.relationinfo:eu-repo/grantAgreement/FCT/5876/147438/PT-
Relação: dc.relationinfo:eu-repo/grantAgreement/FCT/SFRH/SFRH%2FBPD%2F93278%2F2013/PT-
Direitos: dc.rightsopenAccess-
Palavras-chave: dc.subjectPredicative polymorphism-
Palavras-chave: dc.subjectIntuitionistic predicate calculus-
Palavras-chave: dc.subjectExistence property-
Palavras-chave: dc.subjectNatural deduction-
Palavras-chave: dc.subjectNormalization-
Palavras-chave: dc.subjectFaithfulness-
Palavras-chave: dc.subjectODS::04:Educação de Qualidade-
Título: dc.titleAtomic polymorphism and the existence property-
Tipo de arquivo: dc.typelivro digital-
Aparece nas coleções:Repositório Aberto - Universidade Aberta (Portugal)

Não existem arquivos associados a este item.