Seminário de Lógica Matemática (SLM)

Automating deduction in non-classical logics: Signed resolution for many-valued logics

Luís M. Augusto Universidade Aberta – MEMC

Instituto para a Investigação Interdisciplinar da UL, Sala B3-01

Abstract:

Automating deduction in non-classical logics is today a major objective, given their many fundamental and practical applications. This is particularly so with respect to many-valued logics, logical systems with truth-value sets with cardinality > 2.

Adapting well-known automated deduction calculi for classical logic has proved to be an efficient way to automate deduction in non-classical logics. In this talk, I show that the resolution calculus combined with the formalism known as signed logic, i.e., signed resolution, is an adequate calculus for automating deduction in (mostly finitely) many-valued logics.

There being the time and the inclination, possible ways to implement signed resolution in resolution-based ATP (automated theorem proving) software may be discussed.

15h00
Imagem ilustrativa do evento, acompanhada de várias informações (título e dia)

Iniciativa a decorrer nos dias 10, 11 e 12 de dezembro, das 09h00 às 18h00.

Os fundos revertem a favor de alunos e funcionários da Faculdade, com dificuldades financeiras.

Por Clément Cancès (Inria Lille - Nord Europe).

Heloísa Gabriela de Castro Vasconcelos Gonçalves Galante defende a dissertação "Resilience: statistical study of psychosocial and biological predictors at the workplace".

Teresa Ventura Vale Fernandes Dias defende a dissertação "Study of non-conventional Aspergilli and Penicillia Ochratoxin A producers".

Por Adelaide Freitas (Departamento de Matemática & CIDMA - Universidade de Aveiro).

Esta palestra tem por objetivo a preparação para as várias etapas de um processo de seleção profissional: a elaboração do CV, a carta de motivação e a entrevista de emprego. Enfatiza aspetos do que deve conhecer sobre si próprio e sobre estas etapas de recrutamento.

Imagem ilustrativa do evento, acompanhada de várias informações (título, dia, hora e local)

Gostarias de saber como te podes candidatar a estágios ou a uma carreira nas Instituições e Agências da União Europeia? No próximo dia 11 de dezembro, entre as 18h e as 19h horas irá realizar-se uma Sessão sobre as Carreiras na UE!

Imagem ilustrativa do evento

The FCT AWESOME - Awareness While Experiencing and Surfing On Movies through Emotions - project aims to investigate the emotional dimension of movies, to provide support for the classification, access, navigation and visualization of movie collections, not only

Por Carlos Marques da Silva (Ciências ULisboa).

Speakers: Pedro Garcia (CENTRA/FCUL) & João Silvestre (CENTRA/IST).

Por Ivo Sousa-Ferreira (Faculdade de Ciências da Universidade de Lisboa).

Por Angelo Aliano Filho (Universidade Estadual de Campinas - UNICAMP).

Por Emílio Franco (IST).

Imagem ilustrativa dos Seminários Ciência e Império, sobre um fundo branco

Este seminário destina-se à apresentação de trabalhos em curso sobre as inter-relações entre conhecimento científico, tecnologia e formações imperiais.

Logótipo EIT Health, sobre um fundo branco

As of 1 October 2019, EIT Health has opened its call for proposed activities to be included in the Business Plan 2021.

Maria Inês Castanheira Rolo defende a dissertação "Transfer value: Cálculo para um indivíduo do Reino Unido".

Por Benoît Merlet (Laboratoire Paul Painlevé, Université de Lille).

Tiago Miguel Baeta Luís defende a dissertação "Papel da Glicoproteína G do Vírus da Raiva na Indução de Apoptose".

Por Daniel Galaviz (FCUL/LIP).

Por Marco Caroccia (Scuola Normale Superiore & Università di Firenze).

Imagem ilustrativa do evento (mapa antigo)

Este seminário é um curso livre, aberto à comunidade académica e a todos os interessados, com entrada gratuita.

Gonçalo Pimenta Pedro Palmeirim defende a dissertação "The Parental effect in the immune system".

Membros do Júri:

Páginas