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

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

XXII Symposium of Cryptogamic Botany

This biennial symposium will gather experts on fungi, algae, lichens,  bryophytes and ferns to discuss up-to-date science on cryptogamic systematics, physiology and ecophysiology, application and technology, and urban, tropical and global change ecology.

15th European Ecological Federation (EEF) Congress

The overarching theme of this conference, Embedding Ecology in Sustainable Development Goals, is intended to promote discussions and interactions on how to integrate basic and applied ecological research, and their trans-disciplinarily impacts, for the eff

Páginas