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
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.

Ciência 2019 - Encontro com a Ciência e Tecnologia em Portugal

O Ciência 2019 destina-se a promover o debate alargado dos principais temas e desafios da agenda científica para além do universo da investigação, tendo assim como principal objetivo estimular a participação e interação entre investigadores, setor empresar

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.

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

The European Courses in Advanced Statistics "Statistical Analysis for Space-Time Data"

The European Courses in Advanced Statistics on Statistical Analysis for Space-Time Data (ECAS2019) are organized by the Portuguese Statistical Society (SPE) and the Spanish Society of Statistics and Operational Research (SEIO) and will take place in Lisbon, Portugal, on Ju

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

Protolang 6

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

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.

Páginas