Seminários de Lógica Matemática

Sala 6.2.33, FCUL, Lisboa

An introduction to Constructive Zermelo-Frankel set theoryA calculus for worms


15h00
An introduction to Constructive Zermelo-Frankel set theory
Nicola Gambino (University of Leeds)

Abstract: Constructive Zermelo-Frankel set theory (CZF) was introduced by Peter Aczel in the 70s as a setting for the development of constructive mathematics. Since then, it has been studied from several points of view. In particular, it has been shown how it is related to other frameworks for constructive mathematics (such as type theory and topos theory), how it admits Heyting-valued and realizability interpretations (leading to relative consistency and independence results) and how significant parts of constructive mathematics (such as pointfree topology) can be developed within CZF. The aim of the seminar is to give an introduction to CZF, starting from its axiom system and leading up to some recent developments.


16h30
A calculus for worms
Ana Borges (Universitat de Barcelona)

Abstract: Dashkov (2012) described the Reflection Calculus (RC), a strictly positive fragment of the polymodal provability logic GLP (Gödel-Löb). It is weak enough to have nice semantic properties (as opposed to GLP), but still strong enough to accomplish a variety of proof-theoretic goals. The language of the closed fragment of RC, denoted RC_0, includes only top, conjunctions, and diamonds. A worm is simply a formula in the language of RC_0 without conjunctions. It is known that every formula of RC_0 can be equivalently written as a worm. So one wonders whether it would be possible to work only with worms, maintaining the same proof power available in RC_0. The answer is yes. We present a calculus for worms and show that it proves exactly the same conjunction-free closed statements as the Reflection Calculus. Joint work with Joost Joosten.


This seminar is supported by National Funding from FCT - Fundação para a Ciência e a Tecnologia, under the project: UID/MAT/04561/2013.

CMAF-CIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
Título do curso, sobre uma fotografia do Large Hadron Collider

The objective of the course is to introduce the physics, analysis methods and results on the physics areas covered by the LHC experiments.

Seminário de Geometria e Física, por Alejandro Calleja (Univ. Complutense, Madrid).

A reunião, aberta a toda a comunidade estudantil, tem como objetivo esclarecer os mecanismos processuais de formalização de todas as realidades associativas existentes, a potencial criação de novas e a implementação e funcionamento futuros do FAC

Seminário de Tese (Doutoramento em Biologia e Ecologia das Alterações Globais), por Friederike Peiffer.

Seminário de Lógica Matemática, por Pedro Ângelo (Universidade de Lisboa - LASIGE).

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

Talk @DI, por Alex Davidson (DI/FCUL).

Fotografia de árvores sem folhas e de bancos de jardim

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

Banner do Dia do DEGGE 2025.

A 20 de fevereiro, contamos contigo para um evento dedicado às três áreas de estudo do Dia do Departamento de Engenharia Geográfica, Geofísica e Energia: Engenharia da Energia e Ambiente; Meteorologia, Oceanografia e Geofísica; Engenharia Geoespacial.

Título/data do programa, logótipo da ULisboa e fotografia de jovem a ouvir música de olhos fechados

Uma introdução à prática de meditação onde vais aprender a gerir as tuas emoções, pensamentos e desenvolver um relacionamento saudável contigo e com os outros - inscrições até 21 de fevereiro.

Pormenor de pessoa sentada a ler um livro

Maiores de 50 anos - Candidaturas até 14 de fevereiro.

Título/data/local do evento e fotografia de vegetais

Workshop hands-on, dirigido a todos os estudantes da ULisboa.

Seminário de Geometria, por Marcos Petrúcio Cavalcante (Universidade Federal de Alagoas - UFAL).

Logótipo do evento

An annual event aimed to promote the research done by CIÊNCIAS Researchers in the field of Biotechnology, with a special emphasis on Blue and Green biotechnological solutions for a sustainable tomorrow.

NCPInTheHouse 2025

Registration on the workshop is free but mandatory - deadline: 24 February.

Se queres saber mais informações sobre os cursos de CIÊNCIAS, não deixes de participar!

Título "Bolsas de Doutoramento Unite! ULisboa", logótipos das entidades promotoras e fotografia de jovem investigadora a utilizar um laptop na esplanada de um café

O 4.º concurso decorre até 28 de fevereiro.

Título "Bolsas Alumni Solidárias" e fotografia de grupo de alunos

As candidaturas decorrem até 28 de fevereiro.

Pormenor de membro de orquestra

Concerto no âmbito do programa Música na Universidade de Lisboa.

Microplásticos em suspensão no oceano

O curso tem como objetivo dar formação sobre a problemática da contaminação por detritos de plástico dos nossos ecossistemas, bem como alertar para os potenciais efeitos deletérios nos organismos - candidaturas até 05 de fevereiro

Composição de imagens relativas à área das ciências forenses

O curso visa disponibilizar aos profissionais com formação universitária inicial ao nível da licenciatura os conhecimentos básicos e a informação necessária ao eventual futuro ingresso e exercício de funções em áreas Médico-Legais e Forenses - candidaturas até 05 de fevereiro.

Cientista a trabalhar com tubos de ensaio

O curso forma profissionais para atividade na área das Análises Clínicas ou Patologia Clínica - candidaturas até 14 de fevereiro.

Logótipo do evento

A iniciativa tem como principal objetivo promover uma discussão construtiva sobre a estratégia da ULisboa no âmbito da sustentabilidade e destacar boas práticas das Escolas apresentadas pelas Associações de Estudantes.

Título do curso

Ao longo de 10 horas serão abordados temas tais como contornar as principais dificuldades na comunicação da Biodiversidade, como usar histórias, ou a importância dos conceitos científicos na hora de os comunicar.

Logótipo do Dia Internacional da Matemática

Atividades a decorrer em CIÊNCIAS nos dias 14 e 19 de março.

Páginas