Seminário de Lógica Matemática

On the unification of functional interpretations

Sala 6.2.33, FCUL, Lisboa

Por Bruno Dinis (FCUL e CMAFcIO, Universidade de Lisboa).

Abstract: Since Godel published his functional (“Dialectica") interpretation in 1958, various other functional interpretations have been proposed. These include Kreisel's modified realizability, the Diller-Nahm variant of the Dialectica interpretation, Stein's family of interpretations, and more recently, the bounded functional interpretation, the bounded modified realizability, and "Herbrandized" versions of modified realizability and the Dialectica. It is then natural to ask how are these different interpretations related to each other and what is the common structure behind all of them. These questions were addressed by Paulo Oliva and various co-authors in the "unification programme". Starting with a unification of interpretations of intuitionistic logic, which was followed by various analysis of functional interpretations within the finer setting of linear logic, a proposal on how functional interpretations could actually be combined in so-called hybrid functional interpretations, and the inclusion of truth variants in the unification. This unification programme has so far been unable to capture the two more recent families of functional interpretations, namely the bounded functional interpretations, and the Herbrandized functional interpretations.

In this talk I will present a more general framework for unifying functional interpretations, based on two families of parameters, one for interpreting the contraction axiom, and another for interpreting typed quantifications, which allow to include in the unification the more recent bounded and Herbrandized functional interpretations. I will start by presenting this parametrised interpretation in the setting of affine logic. Then, via the two well-known Girard translations from intuitionistic logic into affine logic, one obtains two parametrised interpretations of intuitionistic logic. I will explain how all of the functional interpretations mentioned above can be recovered by suitable choices of these two parameters and how this framework can be used to discover some new interpretations.

(This is joint work with Paulo Oliva).

16h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional

André Filipe Teixeira Taborda defende a dissertação "Development of novel bacterial enzymes for medical diagnosis through directed evolution".

Henrique Martins Espada Niza defende a dissertação "African Marine Invertebrate Data Analysis and Imaging: a Dataset and Digital Platform for Research, Education and Outreach".

Júri das provas:

Teresa Sofia Ferreira Alexandre defende a dissertação "Iteractions of marine protected species with artisanal fisheries in the Parque Natural do Sudoeste Alentejano e Costa Vicentina (PNSACV) and adjacent classified areas (SPAs AND SACs)".

Imagem de um sinal representativo da intersecção entre a Ciência e a Política, sobre um fundo cinzento claro

O Centro de Filosofia das Ciências da Universidade de Lisboa (CFCUL), em colaboração com o Instituto de Ciências Sociais (ICS-UL), organiza o curso livre “Ciência e Decisão Política em Portugal”, a ter lugar na Fundação Calouste Gulbenkian.

Maria Inês Andrade Elias defende a dissertação "Avaliação da Segurança Alimentar de framboesas irradiadas por feixe de eletrões".

Speaker: Pedro Nascimento Alves (Department of Neurosciences and Mental Health, Neurology, Hospital de Santa Maria, CHULN, and Language Research Laboratory, Faculty of Medicine, Universidade de Lisboa).

João David Ferreira de Castro Albuquerque defende a dissertação "Classification methods applied to familial hypercholesterolemia diagnosis in pediatric age".

Com Fateme Banishoeib, consultora e mentora de startups e que cruza no seu percurso áreas tão distintas como as da química, comunicação, poesia e arte.

Daniel Salvador Lourenço defende a dissertação "Desenvolvimento Solução Microsoft para Instituição Financeira".

Leonor Fernanda Venceslau Azeredo Pontes defende a dissertação "Biodiversity informatics - Entomological data processing, analysis and visualization".

Júri das provas:

João Samuel Sebastião Silveira Ramos defende a dissertação "Coprocessamento de dados litogeoquímicos e pedogeoquímicos no sector da mina de Argozelo; modelação 2D e 3D e delimitação de domínios anómalos".

Júri:

Eveline Pereira Almeida defende a dissertação "Utilização de dados geofísicos para identificação de estruturas arqueológicas e manchas de empréstimo de areia em meio marinho: aquisição, processamento e interpretação de dados magnéticos e de sísmica de reflexão

Por Stephan Klaus (M. F. I. Oberwolfach).

Encontro internacional sobre a conservação da Águia-imperial e outras grandes águias e abutres, visando a divulgação dos resultados obtidos no âmbito do LIFE Imperial e a troca de conhecimentos e de experiências internacionais, relativas às diversas espécies, e que pe

Por Michael I. Goldstein, PhD (Mike) - US Forest Service, Juneau, Alaska.
Videoconferência

Fotografia de mamífero marinho

A iniciativa pretende juntar num mesmo local a comunidade científica e empresarial que trabalha, trabalhou e pretende trabalhar em mamíferos marinhos em Portugal.

Joana Guedes de Jesus defende a dissertação "Study of Bacteria involved in Acacia longifolia nodulation:influence of fire on symbiosis establishment".

Luis Henrique Cotrim Frois defende a dissertação "The Madeira tip-jet and variability of extratropical water vapor pumping in the Atlantic basin".

Membros do Júri:

Marco Alexandre Morgado Frade Ferreira defende a dissertação "European catfish (Silurus glanis) movements and diet ecology in a newly established population in the Tagus drainage".

Júri das provas:

Sílvia Alexandra dos Santos Cardoso defende a dissertação "Métodos fotométricos em cuvete para determinação de azoto e fósforo total nos efluentes da Caima - Validação e Controlo de Qualidade".

Membros do Júri:

Logótipo EIT Health, sobre um fundo branco

On November 15 2019, Prof.

Título, data e hora do evento, sobre um fundo branco

O exercício nacional de preparação para o risco sísmico A TERRA TREME realiza-se na próxima sexta-feira, dia 15 de novembro às 11h15.

Imagem ilustrativa do evento, acompanhada de várias informações (título, dia, hora, local e entidades participantes)

Oito investigadores conversam no CCB sobre como se projeta no futuro a caminhada lunar iniciada há 50 anos.

Carlos Eduardo Rodrigues Ferreira Mendes defende a dissertação "Transformação de Core Bancário".

Páginas