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


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.


Raquel Ramos Martins defende a dissertação "Modelos de Notação de Risco de Crédito - Rating de Empresas".

Cláudia Alexandra Cerqueira Fernandes defende a dissertação "A influência da presidência de Trump sobre as séries financeiras americanas".

Cursos Avançados cE3c 2018/2019

The objective of this course is to introduce participants to the details of communication and writing scientific publications. The main emphasis is on the most common form, the “primary scientific paper”, but other forms will be covered.

Marte 2030 - Ciclo de conversas com os pés assentes em Marte

Por Nuno Santos (IA/Faculdade de Ciências da Universidade do Porto) e Ricardo Louro (ITQB-NOVA).

Cursos Avançados cE3c 2018/2019

This course introduces the field of island biogeography, a discipline that has long influenced other research areas such as macroecology, community ecology, evolution and conservation biology.

Cursos Avançados cE3c 2018/2019

Lack of fertile land to feed the exponentially growing population, insufficient water availability and quality, changes in the flow of nutrients through the bio-geo-cycles (especially N and P) and climate and land use changes are impacting ecosystems and their capacity to deliv

Cursos Avançados cE3c 2018/2019

Symbiosis is a key strategy for life on Earth. Nevertheless, although many research groups have long been committed to the study of symbiosis, its definition and functioning are not fully understood, and its ecological role and relevance are still underestimated.

Cursos Avançados cE3c 2018/2019

Phylogenetics is one of the scientific areas of Biology that has grown fast and evolved in methodological terms in the last years.

We begin with an introduction to R and provide a protocol for data exploration to avoid common statistical problems. We will discuss how to detect outliers, deal with collinearity and transformations.

Cursos Avançados cE3c 2018/2019

The goal of this course is to provide the participants with current and practical knowledge on urban ecology, including ecological and social aspects. It aims at providing an integrated approach on urban socio-ecological systems.

The course starts with a revision of multiple linear regression, followed by a basic introduction to generalised additive models (GAM) to analyse continuous data, count data and binary/proportional data.

Cursos Avançados cE3c 2018/2019

Science is increasingly more present in our everyday decisions, with a fundamental role in global problems.

Cursos Avançados cE3c 2018/2019

Nature-based approach to Design solutions for a more resilient future aims to support societies address a variety of environmental, social and economic challenges in sustainable ways. This approach relies on actions that are inspired by, supported by or copied from Nature.

In preparation for the new decade, society urgently needs to implement actions that can make us more resilient to the challenges of the 21st century.

Plastics Heritage Congress 2019

Under the aegis of the Plastics Heritage European Association (PHEA), the Portuguese Center for the History of Science and Technology (CIUHCT) will host the Plastics Heritage Congress 2019.

Cursos Avançados cE3c 2018/2019

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.

Cursos Avançados cE3c 2018/2019

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

Cursos Avançados cE3c 2018/2019

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.

Cursos Avançados cE3c 2018/2019

Under the general framework of Global Change Ecology, the goal of this course is to provide the participants with the most recent and practical knowledge on the use of Functional Diversity.

Cursos Avançados cE3c 2018/2019

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 2018/2019

With this course, we aim at providing the participants with the basics of lichen biology and ecology, biomonitoring and data analysis methods to allow the use of lichens for the interpretation of the environmental conditions and the development of a responsible scientific-based