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

Seminário do Departamento de Física de Ciências ULisboa, por Ana Marques (FCUL-UL).

Estátua representativa da biodiversidade do planeta Terra

Seminário no âmbito do Doutoramento em Biologia e Ecologia das Alterações Globais, por Pierina Jocelyn Mendoza Yengle.

Uma oportunidade para fortalecer a cultura de segurança e bem-estar em CIÊNCIAS.

Estudantes de pós-graduação em Matemática de CIÊNCIAS falam, de forma descontraída e informal, sobre o seu trabalho.

Logótipo do EVM 2025

O objetivo é proporcionar a estudantes de todo o país - que estejam a concluir o 2.º ou 3.º ano de licenciaturas em Matemática, Física ou áreas afins - a oportunidade de participar num projeto de investigação com a duração de duas semanas - candidaturas até 28 de maio.

Earth Systems Seminar, por Afonso Loureiro (Arditi, IDL).

Seminário do Laboratório de Instrumentação e Física Experimental de Partículas, por Marco Pinto (LIP).

BioISI Research Seminar, por Rita B. Santos.

Cartaz do filme "O Melhor dos Mundos"

A 29 de maio o filme "O Melhor dos Mundos” é exibido numa sessão especial em CIÊNCIAS, promovida pela FCiências.ID e o Instituto Dom Luiz. Após a projeção do filme, realiza-se uma mesa redonda com quatro especialistas em Sismologia, que responderão a perguntas do público.

Uma oportunidade única para interagir com a comunidade global de computação científica.

Seminário do Centro de Física Teórica e Computacional, por Pablo Sartori (Instituto Gulbenkian de Ciência, Oeiras, Portugal).

Fotografia do stand da Imprensa da ULisboa

A 95.ª Feira do Livro de Lisboa decorre de 04 a 22 de junho.

Logótipo Moodle

Ação de formação para docentes e investigadores de CIÊNCIAS.

Copilot Chat

Nesta sessão, serão exploradas as funcionalidades e benefícios do Microsoft 365 Copilot Chat de forma personalizada à comunidade académica de CIÊNCIAS.

Fotografia de alimentos

Comemoração do Dia Mundial da Segurança dos Alimentos em CIÊNCIAS.

Luís Saraiva (Ciências ULisboa) é o coordenador nacional do evento.

Título/data/local do evento e iconografia representativa de energias renováveis

Junta-te a esta revolução energética e faz a diferença!

Logótipo Mentimeter

Ação de formação para docentes e investigadores de CIÊNCIAS.

Neste curso ficarás a saber como te podes tornar um permacultor eficiente, produtivo e consciente! O curso está preparado para iniciantes na prática de permacultura.

Formação - Cultivar em Permacultura.

Pessoas a interagirem em frente a um computador portátil

As inscrições para a edição de 2025 da formação decorrem até às 17h do dia 23 de maio.

Curso destinado a estudantes de Mestrado e de Doutoramento, bem como a profissionais que desenvolvam investigação científica na área da saúde.

Químico a escrever fórmulas num quadro

Curso acreditado para efeitos de progressão na carreira dos professores do Ensino Básico e Secundário do Grupo 510 (CCPFC/ACC-118288/22), com candidaturas até 18 de maio.

Título/data/local do evento e fotografia do mar

Quais são os conceitos-chave para enfrentar os atuais desafios marinhos e costeiros? 

Daniel da Silva Distinguished Lecture, por Jean-Pierre Bourguignon (IHÉS).

Páginas