Mathematical Logic Webinar

Applications of focusing to the proof theory of arithmetic

Transmissão através de Videoconferência

Por Matteo Manighetti (Inria Saclay & LIX, École Polytechnique, Palaiseau, France).

Linear Logic uncovered many hidden structures in the proof theory of classical and intuitionistic logic. An important property of Linear Logic, that was later also found in classical and intuitionistic logic, is the availability of focused proof systems: these are sequent calculi that drastically restrict the non-determinism associated with usual sequent calculi. The fact that they remain a sequent calculus at the core, while gaining stronger normal forms, provided a good setting for several results in computer science. Some focused proof systems have been proposed for systems of arithmetic, aiming at applications in theorem proving and model checking. However, this is also a setting where some classical results of the metatheory of arithmetic can be studied. In this talk, I will present a focused proof system for the theory of inductive definitions in Multiplicative-Additive Linear Logic (a linear logic without weakening and contraction) due to D. Baelde, as well as some early applications to the metatheory of arithmetic.


Zoom Meeting | ID da reunião: 890 8479 3299 - senha de acesso: 409604

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

O Museu Nacional de História Natural e da Ciência volta a dinamizar atividades associadas às Jornadas Europeias do Património, em 2024 subordinadas ao tema "Rotas, Redes e Conexões"

RSS Meetup, por Mário Silva.

Logótipo do Workshop

O exercício físico faz parte das recomendações médicas para manter a autonomia motora. Uma das práticas de exercício mais eficaz para manter a forma é a dança, a resposta do nosso corpo à musica.

Data e logótipo do evento

Uma iniciativa dirigida a escolas, estudantes, professores e encarregados de educação, com várias atividades que prometem divertir, ensinar e desmistificar a ciência

Evento no âmbito do Dia Internacional das Ataxias.

Título/data/local do evento, logótipos das entidades envolvidas e representação de face humana

With the motto “Being Human in the Age of Artificial Intelligence”, the aim is to explore the impact of some aspects of AI on our society and what it means to be human in the age of Artificial Intelligence. Being human is to act, think and feel in certain ways. The omnipresence of AI in contemporary society will insurmountably and irreversibly change the way we are.

Título/data/local do evento e representação de material agrícola

A HortaFCUL, em conjunto com o permacultor e agroecólogo Manuel Botelho, propõe-te uma oficina para ficares a saber as técnicas e os cuidados essenciais para gerir um ecossistema agroflorestal.

Logótipo do projeto "Observar e Aprender"

O projeto Observar e Aprender visa estimular a atividade de docência no Ensino Superior, promovendo espaços de experimentação e apoio aos docentes da ULisboa, constituindo-se como um fórum de formação interdisciplinar.

Um dia para aprender sobre produção caseira de cogumelos, da teoria à prática! Cada participante leva consigo um kit de cogumelos produzido nesta tarde e ainda todo o conhecimento para o fazer novamente, de forma autónoma!

Pormenor de mão a apontar para o ecrã de um computador portátil

As inscrições para a edição de 2024 (workshops 4, 5 e 6) encontram-se abertas até às 17h do dia 22 de setembro.

O outono aproxima-se a passos largos e não tarda está aí o inverno... que alimentos se cultivam nesta altura do ano? Não sabes quais e como? Tens um terreno ao qual gostarias de dar algum uso?

Data e logótipo do evento

Workshop on Biomedical Engineering - Be careful! This is the event that will increase your blood pressure! WBME is the free-entrance event that you surely will not want to miss! 

Logótipo de Ciências ULisboa, título/data do evento, título "Time for Science, Science of Time" e representação gráfica de ampulheta

Join us on October 22 (Tuesday) for the 6th edition of Ciências Research & Innovation Day: an opportunity for faculty, researchers and innovators to share their work with both the internal and external community, fostering collaboration and networking.

Logótipo e data do evento

O primeiro Tropical Summit visa reunir líderes de todo o mundo para abordar os desafios tropicais mais prementes.

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.