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

Uma vez por mês, aos domingos de manhã, junte-se à equipa de investigadores da Lista Vermelha de Invertebrados. Participe e contribua para a amostragem da diversidade de insetos em Sítios de Importância Comunitária da Rede Natura 2000.

Young scientists in the Marine Natural Products (MNP) field from all over the world are especially encouraged to participate.

JPI on Cultural Heritage

A Fundação para a Ciência e Tecnologia (FCT) é parceira da JPI on Cultural Heritage e participa no concurso que se encontra aberto - Conservação, Proteção e Uso -, o qual que apoiará investig

International Workshop on Differential Equations - On the Occasion of Luis Sanchez’s 70th Birthday

The celebration, presented as an International Workshop on Differential Equations, will have distinguished Plenary Speakers who have had an emblematic importance in Sanchez scientific activity, at national and international level, and are, moreover, representative of&nb

Droidcon Lisboa 2019

A Droidcon é a maior conferência mobile do mundo, já presente em mais de 25 cidades (Londres, Berlim, Nova Iorque, São Francisco...).

Protolang 6

The Protolang conference series creates an interdisciplinary platform for scholarly discussion on the origins of symbolic communication distinctive of human beings.

Gaspar Barreira foi um dos fundadores do LIP, Laboratório de Instrumentação e Física Experimental de Partículas, e ao LIP dedicou grande parte da sua imensa energia nos últimos 30 anos. Era o Delegado de Portugal ao Conselho do CERN e ao Conselho do SESAME.

We welcome scholars to participate in a one-day workshop on how language has been defined and approached differentially throughout history within philosophical, linguistic, psychological, and socio-anthropological schools of thought.

Almoços com Ciências

Especialistas de Ciências ULisboa conversam informalmente sobre temas atuais, durante o almoço.

Decorrerão, durante a conferência, sessões práticas sobre o uso de ferramentas avançadas de computação e processamento de dados em infraestruturas distribuídas.

Almoços com Ciências

Especialistas de Ciências ULisboa conversam informalmente sobre temas atuais, durante o almoço.

Almoços com Ciências

Especialistas de Ciências ULisboa conversam informalmente sobre temas atuais, durante o almoço.

VI Feira da Matemática

Dois dias repletos de atividades científicas, culturais e educativas dirigidas a todos os públicos.

No âmbito das comemorações do IYPT2019, o Departamento de Química e Bioquímica de Ciências ULisboa convida as escolas secundárias a participar num Congresso sob o tema “O que existe no meu mundo” que irá englobar comunicações orais ou em painel e quizzes

Almoços com Ciências

Especialistas de Ciências ULisboa conversam informalmente sobre temas atuais, durante o almoço.

1.ª Conferência Campus Sustentável (CCS 2019)

As Instituições de Ensino Superior devem inspirar uma "cultura de sustentabilidade", procurando funcionar como modelos através da incorporação dos pilares da sustentabilidade em todos os níveis de decisão.

A conferência pretende ser um ponto de encontro para investigadores, ativistas, gestores públicos e empreendedores envolvidos com temas de economia social e solidária, gestão dos bens comuns e novos movimentos sociais em diferentes regiões e países do mundo.

Páginas