Seminário de Lógica Matemática

Separability in Classical Natural Deduction

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

Por Joaquim Waddington (UERJ/UCL).

The separation property states that given a system S, S has the separation property if, whenever Π is a Normal Deduction of A from Γ in S, then the only inference rules that are applied in Π are the inference rules for the logical constants that occur in A or in some formula of Γ. The separation property is closely related to the subformula property. In fact, the separation property is a corollary of the subformula property, but the converse is not the case. There are systems for propositional classical logic in natural deduction that have the separation property but don’t have the subformula property. The purpose of this talk is to share some of the results obtained during my Master’s dissertation, specifically (I) the development of the NH system, (II) the development of a normalization procedure for the NH system, and (III) the classification of different classical natural deduction systems into three grades of analyticity: (i) non analytical systems (systems that have neither the subformula nor the separation property), (ii) strictly analytical systems (systems that have the separation property but don’t have the subformula property) and (iii) Ultra Strictly Analytical systems (systems that have the separation property and the subformula property). The NH system is a natural deduction system for propositional classical logic obtained through the addition of Hosoi’s rule ((A → B) → B), (A → C), (B → C) ⊢ C to the propositional fragment of Gentzen’s NJ system.


Transmissão via Zoom (pw: 919 4789 5133).

15h00-16h00
CEMS.UL - Centro de Estudos Matemáticos
Computador portátil a projetar imagem de sequência biológica

O curso visa a aquisição de conhecimentos sobre as ferramentas bioinformáticas disponíveis para efetuar análises de sequências de DNA e proteínas, bem como a autonomia e espírito crítico na utilização dessas ferramentas. Procura igualmente desenvolver competências na utilização de software de bioinformática disponível gratuitamente na Internet e na interpretação do significado biológico dos resultados - candidaturas até 12 dezembro.

Bola de cristal colocada no solo

O curso tem como objetivo apresentar aos participantes um estado da arte atualizado sobre a diversidade da biota do solo e os papéis funcionais desempenhados pelos organismos do solo nos principais processos ecológicos - candidaturas até 19 de dezembro.

Imagem exemplificativa da área da deteção remota

Este curso avançado tem como objetivo fornecer acesso e ferramentas para a aquisição e processamento de dados de deteção remota para diferentes aplicações, usando imagens multiespectrais de satélite, drone, terrestres e LiDAR, com foco na caracterização da vegetação e da paisagem, bem como das suas mudanças ao longo do tempo - candidaturas até 19 de dezembro.

Imagem abstrata

Neste curso, será promovida uma abordagem multidisciplinar, apresentando as descobertas mais recentes sobre o tema e desafiando a forma tradicional de considerar as associações simbióticas como exceções e não como a regra - candidaturas até 09 de janeiro.

A conferência visa reunir os principais especialistas no domínio da Imagiologia Médica por Micro-ondas (MMWI) e incluirá palestras, apresentações e pósteres de resumos revistos por pares e artigos de conferências, bem como workshops em áreas satélite de investigação com interesse para a investigação em MMWI.

Páginas