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

Speaker: Lucio Boccardo (Università di Roma La Sapienza).

To get access to the password, please register on the website or contact one of the organizers.

Objectives: provide students with statistical knowledge and tools to manipulate, analyze and visualize biological data with R. Introduction to modeling, simulations and Bayesian statistics.

Apresentações de João Cordovil (Centro de Filosofia das Ciências da Universidade de Lisboa / Ciências ULisboa) e Diana Barbosa (Comcept - Comunidade Céptica Portuguesa).

The Sustainable Energy Week, organised by the European Commission each year in June, will be organised as an online event this year on 23 to 25 June, under the theme "Beyond the crisis: clean energy for green recovery and growth".

Face à emergência da pandemia da COVID-19, a 6.ª edição da Escola de Verão de Energia da Faculdade de Ciências da ULisboa, prevista para 6 a 10 de julho de 2020, será adiada para data a definir em 2021.

Cancelamento motivado pela aplicação do plano de contingência da Faculdade de Ciências da Universidade de Lisboa, na sequência das orientações da Direção-Geral de Saúde e das recomendações por parte da Reitoria da Universidade de Lisboa, relativamente ao novo Coronavírus (CO

Candidaturas a decorrer até ao dia 15 de julho de 2020.

IN3+  | Um Milhão para a Inovação.

O prémio IN3+ destina-se a todos os investigadores pertencentes às entidades que integram a Rede Inovação INCM.

Cancelamento motivado pela aplicação do plano de contingência da Faculdade de Ciências da Universidade de Lisboa, na sequência das orientações da Direção-Geral de Saúde e das recomendações por parte da Reitoria da Universidade de Lisboa, relativamente ao novo Coronavírus (COVID-1

New date: September 14th-16th, 2020.

Ciências ULisboa associa-se ao maior evento mundial sobre inovação para a sustentabilidade - “The Planetiers World Gathering” - que terá lugar no Altice Arena entre 21 e 23 de outubro de 2020, sob os auspícios da

Programa de Formação Contínua de Professores do Ensino Básico (3.º ciclo) e Secundário, grupos 420 e 520.

Overview: Currently, climate changes or alterations are known to be reflected on the stable isotope ratios of Hydrogen, Nitrogen, Carbon, Oxygen and Sulphur present in atmospheric gas forms, fresh or ocean water, as well as in plants and animals and organi

New date: 30 August - 03 September 2021.

This conference is the 22nd in the series of triennial conferences which bring together the Particle and Nuclear Physics communities.