Mathematical Logic Seminar

Functional interpretations over finite types with star types

Sala 6.2.33, Ciências ULisboa (com transmissão online)

Por Paulo Firmino (University of Lisbon).

We define two functional interpretations on intuitionistic logic over finite types with the introduction of star types representing finite non-empty sets. The characteristic principles of the first (the semi-intuitionistic case) are variations of known principles, such as a form of choice, independence of premises and the lesser limited principle of omniscience, which take into account the star type. The second (the intuitionistic case) involves the standard principles of choice and independence of premises and requires a variation of Markov’s principle. We give Soundness and Characterization results, as well as corolaries regarding term extraction.

Transmissão via Zoom.

16h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
Logótipos Ciências ULisboa e C-Academy, títulos dos cursos

Um programa de formação avançada em Cibersegurança para a administração pública e o setor privado desenvolvido pelo Centro Nacional de Cibersegurança, no âmbito do Plano de Recuperação e Resiliência.

Logótipos Ciências ULisboa e C-Academy, títulos dos cursos

Um programa de formação avançada em Cibersegurança para a administração pública e o setor privado desenvolvido pelo Centro Nacional de Cibersegurança, no âmbito do Plano de Recuperação e Resiliência.

Logótipo do evento, sobre um fundo branco

Um evento de reunião da comunidade nacional nas diversas vertentes da informática, com a ambição de ser o fórum de eleição para a divulgação, discussão e reconhecimento de trabalhos científicos.

Imagem do evento

Extended enrolement date until July 12th.

Logótipo do Workshop

A participação na 3.ª edição do Workshop é gratuita, mediante inscrição prévia.

Are you ready for this year's edition?

Imagem do evento - título, local e data do evento

Investigação Ecológica ao Serviço da Conservação

A leading venue for presenting and discussing the latest research, industrial practice and innovations in dependable and secure computing.