Mathematical Logic Seminar

A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems

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

Por Carlos Olarte (LIPN, Université Sorbonne Paris Nord).

We develop an algorithmic-based approach for proving inductive properties of propositional sequent systems such as admissibility, invertibility, cut-admissibility, and identity expansion. Although undecidable in general, these properties are crucial in proof theory because they can reduce the proof-search effort and further be used as scaffolding for obtaining other meta-results such as consistency. The algorithms take advantage of the rewriting logic meta-logical framework, and use rewrite- and narrowing-based reasoning. They have been fully mechanized in the L-Framework, thus offering both a formal specification language and off-the-shelf mechanization of the proof-search algorithms, together with semi-decision procedures for proving theorems and meta-theorems of the object system. As illustrated with case studies, the L-Framework achieves a great degree of automation when used on several propositional sequent systems, including single conclusion and multi-conclusion intuitionistic logic, classical logic, classical linear logic and its dyadic system, intuitionistic linear logic, and normal modal logics.

Joint work with Elaine Pimentel and Camilo Rocha.


Transmissão via Zoom.

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

Seminário do Centro de Estatística e Aplicações da Universidade de Lisboa e do Centro de Matemática Computacional e Estocástica, por Danilo Alvares (University of Cambridge, UK).

Seminário do Centro de Física Teórica e Computacional, por Gunjan Tyagi (Department of Chemical Engineering, Imperial College London, United Kingdom).

Título e data do evento, sobre um fundo verde

O MUHNAC volta a participar nas Jornadas Europeias do Património, com um programa de atividades nos dias 22 e 23 de setembro.

Logótipo do evento

A participação no workshop é gratuita, mediante inscrição prévia.

Cartaz do evento

Ciências ULisboa associa-se a esta iniciativa da Lisboa e-Nova.

Palestra sobre as transformações ocorridas na Cosmologia e Filosofia natural da idade moderna a partir das descobertas promovidas pela navegação a uma escala global.

CELab PhD Seminar, por Michael Levin (Tufts University, MA Wyss Instiute, Harvard University).

Antigos alunos, colegas e amigos do Professor Guerreiro juntam-se numa partilha de memórias do saudoso mestre.

Seminário do Departamento de Engenharia Geográfica, Geofísica e Energia, por Vera Correia (Direção Técnica - EGF).

Título/data do evento e fotografias dos oradores

Masterclass do Tec Labs, com inscrições a decorrer.

Colóquio de Matemática, por Mário Edmundo (FCUL - DM).

Título do evento sobre fotografia, em contraluz, representativa de ex-alunos da ULisboa

Gostaria de saber mais sobre a Associação Alumni ULisboa? Ouvir e partilhar experiências de outras associações Alumni?

Cartaz do evento

Reasoning Seminar, por João Alberto Pinto (Universidade do Porto).

Logótipo do evento, sobre um fundo verde

A grande festa da Ciência está de volta ao MUHNAC!

Seminário Doutoral II (Doutoramento em Biologia), por Marta Maria Alves Antunes

Logótipo do projeto

A 19.ª edição do projeto decorre no 1.º semestre de 2023/2024 - inscrições até 30 de setembro.

Título do evento e representação de dois peixes

Este curso intensivo, com duração de uma semana (36 horas) e inscrições até 04 de outubro, tem como objetivo aprofundar o conhecimento sobre as comunidades de peixes existentes nos ecossistemas fluviais portugueses.

Título/prazo da iniciativa e logótipo do Ciências Research and Innovation Day

Participe até 10 de outubro / Submit you application until 10 October.

Logótipo do prémio, sobre um fundo branco

As candidaturas à 20.ª edição decorrem até 10 de outubro.

Ilustração de peixe, por Pedro Salgado

Por Pedro Salgado (Biólogo, Ilustrador Científico. Professor Especialista - ilustração).

Luís Saraiva (Ciências ULisboa) é o coordenador nacional do Seminário Nacional de História da Matemática.

Join us on 24 October 2023 for the 5th edition of Ciências Research & Innovation Day! A public showcase of the best science made in this centenary institution.

Título/data do evento e fotografia de parque eólico

Um fórum de discussão e reflexão sobre os mais recentes avanços na investigação, inovação e práticas na implementação dos Objetivos do Desenvolvimento Sustentável nas Instituições de Ensino Superior em Portugal e nos países da lusofonia.

EAP-II tem como objetivo fomentar um espaço de partilha de conhecimento entre a comunidade científica e não-científica, de uma forma simples e acessível para todos.

Título, local e data do evento, acompanhados da representação de um cavalo-marinho e das típicas chaminés algarvias

A conservação da biodiversidade em Portugal deve sair do papel e rumar a ações que promovam, no território, o normal funcionamento dos ecossistemas, para garantir o desenvolvimento sustentável, do ponto de vista ecológico e ser aceite do ponto de vista social. Urge integrar o conhecimento gerado pelos ecólogos de forma a que estes possam responder oportuna e corretamente, quando chamados a intervir.

Páginas