Seminário de Lógica Matemática

Cut as a semantical principle

Sala 6.2.33, FCUL, Lisboa

Wagner Sanz
Universidade Federal de Goiás, Brasil

Abstract: The rule of Cut in the sequent calculus is a cornerstone of proof-theory. Its eliminability in a calculus guarantees a series of nice properties of this calculus, like consistency via subformula principle, etc. It has been usually treated as a syntactical property. We defy such an assumption. The points we intend to claim are the following: (i) Cut is a semantical principle; (ii) The notion of hypothesis is intimately related to Cut; (iii) A nice semantics for intuitionistic propositional logic is obtained if we admit the concept of hypothesis as a primary concept; (iv) Kripke semantics is intensionally wrong; (v) the tableaux rules are an immediate reading of the semantical clauses.

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.

15h00
CMAF-CIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional

The aim of this event is to illustrate the importance of interdisciplinarity. To do so the meeting will bring together researchers from different areas who work in interdisciplinary fields within Ciências ULisboa

Seminário do Departamento de Física de Ciências ULisboa, por José Manuel Rebordão (FCUL - DF).

Seminário de Geometria e Física, por Tomás Inácio (FCUL, Universidade de Lisboa).

Cardume

Seminário Doutoral I (Doutoramento em Biologia), por Eduardo Miguel Onofre Feijão.

“Coroa de Flores” cósmica

Seminário do Instituto de Astrofísica e Ciências do Espaço, por Federica Loiacono (INAF OAS Bologna, Italy).

Seminário de Análise e Equações Diferenciais, por João Pedro Ramos (Instituto Nacional de Matemática Pura e Aplicada).

Logótipo do LIP Summer Internship Program

Um programa destinado a estudantes de Física e Engenharia com interesse em investigação científica e tecnológica, com candidaturas até 15 de maio (nova data).

Título/data/local do evento

No Dia Nacional dos Cientistas, o conhecimento não risca fronteiras.

O Museu Nacional de História Natural e da Ciência da Universidade de Lisboa celebra a Noite Europeia dos Museus (17 de maio) e o Dia Internacional dos Museus (18 de maio). Nestes dias, os Museus abrem as portas e convidam os cidadãos a conhecer os seus acervos, coleções, exposições e atividades.

Bodião-limpador "em ação"

Seminário Doutoral II (Doutoramento em Biologia), por Beatriz Palinhos Pereira.

Seminário do Centro de Física Teórica e Computacional, por João Amaral (Department of Physics and CICECO, University of Aveiro, Portugal).

Seminário de Análise e Equações Diferenciais, por Wladimir Neves (Universidade Federal do Rio de Janeiro).

Título/data/local do evento, logótipos das entidades organizadoras e fotografia de peixe

The event aims to facilitate the exchange of information and knowledge among professionals to advance the understanding, collaboration and capabilities of aquaculture to respond to the impact of climate change in a rapidly changing global environment.

Composição do logótipo da ULisboa e de representação do rosto humano à base de relógios

22 de maio - dois dos doze finalistas da competição são alunos de CIÊNCIAS.

Pintura abstrata azul e rosa

Seminário de Análise e Equações Diferenciais, por Leonid Berlyand (Penn State University).

Technovation Girls Challenge Portugal - Final

Ciências acolhe o evento final do Programa Technovation Girls Challenge Portugal.

Seminário do Instituto de Astrofísica e Ciências do Espaço, por Pier-Stefano Corasaniti (Observatoire de Paris-Meudon, France).

Um programa estruturado que combina discussões em grupo, exploração de carreira e workshops informativos, com inscrições até 23 de maio.

Logótipo do EVM 2025

Candidaturas até 28 de maio.

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

Logótipo Moodle

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

Logótipo Mentimeter

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

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

Inscrições até 16 de maio! Junta-te a esta revolução energética e faz a diferença!

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.

Páginas