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
Logótipo do Programa MAR2020

Encontra aberto o período para a apresentação de candidaturas a financiamento no âmbito da Medida 3 da Prioridade 1 do Programa MAR2020:

A ferramenta do astrólogo: a figura celeste ou mapa astrológico

Este novo seminário, organizado pelo CIUHCT e pelo Departamento de História e Filosofia das Ciências (FCUL), é dedicado à história da astronomia antiga, estendendo o conceito aos aspetos históricos da disciplina, ou de outras que com ela se relacionaram, até ao século XIX.

Cursos Avançados cE3c 2017/2018

Currently, climate changes or alterations are known to be reflected on the stable isotope ratios of Hydrogen, Nitrogen, Carbon, Oxygen and Sulphur present in atmospheric gas forms, fresh or ocean water, as well as in plants and animals and organic matter in the soil.

Cursos Avançados cE3c 2017/2018

Phylogeography is one of the recent scientific areas emergent from the dissemination of highthrouput technologies of sequencing starting in the 90’s of the XXth century, with the consequent development of intra-specific genetic variance analysis and its geographic distribution.

Second International Workshop on the Origin and Evolution of Portolan Charts

Following the first workshop, which was held in June 2016, this second meeting will focus once more on issues relating to the origin and evolution of nautical cartography, but this time has broadened its scope to consider other aspects of the subject, such as the mutual influen

Candidaturas a programa de apoio ao empreendedorismo na área do mar - MARE STARTUP

A Faculdade de Ciências da Universidade de Lisboa, a Universidade Católica Portuguesa, o Fórum Oceano e a Sociedade de Avaliação Estratégica e Risco lançaram em 2015 o consórcio MARE STARTUP destinado a promover o empreendedorismo e inovação empresarial no Mar, como f

Pieter Paul Rubens & Pieter Brueghel "the Elder", Sight, 1617

A telescope serves as an easily recognizable scientific instrument, one with a readily understood purpose and construction. But not always.

Cursos Avançados cE3c 2017/2018

This is a mostly practical course offering an overview on different community ecology and macroecological methods and software.

A Escola de Verão de Matemática da Faculdade de Ciências da Universidade de Lisboa é dedicada a todos os alunos do primeiro ciclo, ou início do segundo, que têm um gosto especial pela matemática e que pretendem decidir a continuação dos seus estudos.

Seminário Permanente de Astronomia Antiga - 21 junho 2018

Este novo seminário, organizado pelo CIUHCT e pelo Departamento de História e Filosofia das Ciências (FCUL), é dedicado à história da astronomia antiga, estendendo o conceito aos aspectos históricos da disciplina, ou de outras que com ela se relacionaram, até ao século XIX.

The Workshop in Integrative Approaches in Neurodegeneration is organized in the frame of the FlySMALS consortium, funded by the 2013 JPND Transnational call for “European research projects for Cross-Disease Analysis of Pathways related to Neurodegenerative Diseases”, which come

Cursos Avançados cE3c 2017/2018

This course offers an overview of the different ways to measure biodiversity, and provides tips for the stratification of primary biodiversity data and the construction of variables that describe its various facets.

Encontro dirigido a profissionais e utilizadores de Estatística, académicos, investigadores e estudantes. 
 

Escola de Verão de Energia

Imagina que era possível experimentar um curso universitário antes de concorreres ao ensino superior.

Cursos Avançados cE3c 2017/2018

The goal of this short course is to introduce the students to the main climate change research concepts and prepare them to use available information on scenarios, impacts and adaptation.

Specific goals include:

IMMR'18 - International Meeting on Marine Research 2018

The IMMR’18 is an international congress planned to communicate novel scientific knowledge on marine resources and research towards the sustainability of our planet.

Com a realização deste evento, pretende-se criar um ponto de encontro onde os primatólogos portugueses e/ou lusófonos possam trocar conhecimentos e contactos, e também criar um veículo de comunicação em português entre cientistas e cidadãos.

Cursos Avançados cE3c 2017/2018

The Lichens course is a 4 days lectures and lab classes + one day field excursion.

This joint conference will be organized by SPQ (Sociedade Portuguesa de Química) in collaboration with SEQA (Sociedad Española de Química Analítica), SEDOPTICA (Comité de Espectroscopia de la Sociedad Española de Óptica) and SEA (Sociedad de Espectroscopia Aplicada).

Nesta edição, a decorrer de 09 a 11 de julho de 2018, propõe-se uma reflexão em torno da História das Ciências e da Tecnologia, que pretende problematizar as relações que ao longo dos séculos existiram entre as ciências sociais e humanas e as ciências exatas e naturais, a tecnologia, a medic

Curso de Formação em Geologia de Campo

Programa de Formação Contínua de Professores do Ensino Básico (3.º ciclo) e Secundário, grupos 420 e 520.

ECMTB 2018 - 11th European Conference on Mathematical and Theoretical Biology

The European Conferences on Mathematical and Theoretical Biology (ECMTB) are the major scientific events in this field in Europe and one of the major events worldwide, attracting the participation not only of the European researchers, but also of researchers from all over the w

O 8.° Encontro Luso-Brasileiro de História da Matemática será um evento marcado pela junção da história e da contemporaneidade, onde seus participantes terão a oportunidade de desfrutar de belíssimos cenários naturais, além de diversas maravilhas tecnológicas e culturais.

SPINON Workshop 2018

A platform that brings together renowned scientists and young researchers in the field of molecular magnetism.

Páginas