Mathematical Logic Seminar

Conservative Translations Revisited

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

Por Cristina Sernadas (Instituto Superior Técnico, Universidade de Lisboa/Instituto de Telecomunicações).

We provide sufficient conditions for the existence of a conservative translation from a consequence system to another one. We analyze the problem in many settings, namely when the consequence systems are generated  by a deductive calculus or by a logic system including both proof-theoretic and model-theoretic components. We also discuss reflection of several metaproperties with the objective of showing that conservative translations provide an alternative to proving such properties from scratch. We discuss soundness and completeness, disjunction property and metatheorem of deduction among others. We provide several illustrations of conservative translations.

Keywords: conservative translation between consequence systems, reflection of metatheorems by conservative translations

AMS MSC2020: 03B20, 03B45, 03B53, 03F03.

Jaime Ramos, João Rasga, Cristina Sernadas, Journal of Philosophical Logic, 52 (2023), no. 3, 889-913.


Transmissão via Zoom.

16h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
Logótipo da ação CLEANFOREST

Forests are exposed to multiple global change drivers, wich can constrain their ability to continue providing several ecosystem services (including climate change mitigation). Assessing responses - and underlined mechanisms -  at the whole ecosystem scale is paramount for a holistic understanding of forest response to global change.

Seminário Permanente de Filosofia das Ciências, por Jean-Baptiste Joinet (Université Jean Moulin Lyon 3, IRPhiL).

Seminário do Centro de Física Teórica e Computacional, por Eduardo V. Castro (Departamento de Física e Astronomia, Faculdade de Ciências, Universidade do Porto, Portugal).

Logótipo do Dia Aberto e fotografia de atividade de investigação

Novas vagas disponíveis para o Dia Aberto em Ciências!

Logótipo do evento

Evento final do Projeto iSEA, com inscrições até 30 de abril.

Earth Systems Seminar, por Sandra Plecha (IDL, Centre OIE - Mines Paris).

Seminário do Departamento de Física de Ciências ULisboa, por Kora Muzic (Instituto de Astrofísica e Ciências do Espaço, FCUL).

Aula aberta no âmbito da Unidade Curricular de Linguagens de Domínio, por Bruno Martinho (OutSystems).

Título e data do workshop

Workshop no âmbito da recente adesão da Universidade de Lisboa à CoARA - Coalition for Advancing Research Assessment.

Título do curso

Curso Avançado CEAUL / Gades Solutions.

Título e datas de candidatura do programa, sobre um padrão em tons de roxo e laranja

Submissão de candidaturas até 14 de maio.

Os oradores plenários irão falar sobre a importância da interdisciplinaridade de forma acessível para todos, estando previstas palestras e apresentação de pósteres por alunos.

Logótipo do EVM 2024

Candidaturas até 15 de maio.

Aula aberta no âmbito da Unidade Curricular de Aprendizagem Profunda, por João Carreira (Deepmind).

Logótipo do LIP Summer Internship Program e fotografia de jovem investigador

Os estágios podem ter uma duração entre duas semanas e dois meses e realizam-se nos três polos do LIP - candidaturas até 15 de maio.

Um evento dirigido aos alunos do ensino secundário, consistindo numa palestra sobre a microscopia e em visitas aos laboratórios de microscopia/demonstrações experimentais simples.

Árvore florida

A minha Jornada pela Matemática: Descobertas, Escolhas e Desafios, por Ana Catarina Monteiro - estudante do Mestrado em Matemática (Licenciatura: Matemática).

Aula aberta no âmbito da Unidade Curricular de Aprendizagem Profunda, por Hugo Penedones (Inductiva).

O workshop contribui para aproximar a Ciência e as Políticas Públicas na construção de políticas informadas por evidências.

Composição com os nomes das Universidades participantes

Candidaturas até 25 de maio (mobilidades no 1.º semestre).

Título do prémio

As candidaturas decorrem até ao dia 31 de maio.

Inscrições até 24 de maio.

Título do programa e logótipos das entidades organizadoras, sobre fotografia do espaço

O programa decorre de 08 a 26 de julho, com candidaturas até 03 de junho.

Pormenor de linguagem corporal (braços e mãos) de pessoa a dialogar

Ação de formação para docentes e investigadores de Ciências.

Feixes luminosos

Envio de propostas até 20 de junho.

Páginas