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
Ciclo de Palestras do GAPsi "Como me preparar para o mercado de trabalho?"

Esta palestra tem por objetivo preparar-te para as várias etapas de procura de emprego: a elaboração do CV, cartas de motivação e entrevistas de emprego. O que deves conhecer sobre ti próprio e sobre estas etapas de recrutamento.

Dia Internacional em Ciências

Vem saber mais sobre Programas de mobilidade e participar em atividades de carácter intercultural.

Por Nicolas Van Goethem (Faculdade de Ciências da Universidade de Lisboa).

Tandem

Queres desenvolver as tuas competências linguísticas? Gostarias de conhecer pessoas de várias nacionalidades? Estás à procura de um parceiro tandem para aprender uma nova língua?

Ciências vai organizar o 2.º Encontro Tandem!

Venha dar uma volta ao mundo com o Instituto Dom Luiz.

Caraíbas, Marrocos, São Tomé e Príncipe e Indonésia são alguns dos pontos de paragem. Nesta série de palestras, os nossos investigadores trazem-lhe histórias de 5 expedições científicas: 

Ana Sofia Quintino defende a dissertação "Efeitos demográficos e económicos das migrações em Portugal: o caso da Segurança Social".

O que são sismos? E tsunamis? Todos estes fenómenos são o resultado à superfície da Terra do seu grande dinamismo interior. Vem aprender como é constituído e como funciona o nosso planeta, com experiências divertidas.

Por Claudia Bank (IGC - Instituto Gulbenkian de Ciência).

Venha passear por um campus solar e pelos telhados da Faculdade de Ciências da Universidade de Lisboa, a maior central fotovoltaica universitária de Lisboa.

Evento de entrada livre, mediante inscrição prévia (hrace3c@ciencias.ulisboa.pt / tm: 910 620 424).

Após a formação, pretende-se realizar uma ação de voluntariado de podas na HRA que decorrerá dia 23 de tarde e dia 24 de novembro.

Rita Vaz Moura defende a dissertação "Markov-Switching: Value-at-Risk e Expected Shortfall Aplicado aos Índices PSI20 e DAX30".

Contribuição para a construção de uma infraestrutura sólida de medições químicas, numa ação a decorrer nos dias 26 e 27 de novembro de 2018.

Congresso "Ciência, Cultura e Turismo Sustentável"

Inserido nas celebrações do Ano Internacional do Turismo Sustentável 2017 e do Ano Europeu do Património Cultural 2018, o congresso pretende lançar olhares cruzados sobre os temas da Ciência, Cultura e Turismo Sus

Sessão de esclarecimento/formação por Luís Miguel Nunes Corujo, Arquivista (Ciências ULisboa).

Catarina Alexandra dos Santos Dias defende a tese "New sugar-based molecular entities as potential therapeutics against infectious and neurodegenerative diseases".

Ciclo de Palestras do GAPsi

Entre 31 de outubro e 28 de novembro, o GAPsi vai organizar um ciclo de palestras, disponibilizando várias palestras com o objetivo de promover o desenvolvimento pessoal e de competências transversais ao nível da gestão do tempo, gestão da ansi

Por Andreia Sousa (CCIAM - Research Group, cE3c).

A Associação Ludus e o Departamento de História e Filosofia das Ciências da Faculdade de Ciências da Universidade de Lisboa tomaram a iniciativa de organizar regularmente um conjunto de conferências de alto nível.

Sessão de lançamento do novo livro do matemático Jorge Buescu (Departamento de Matemática | Ciências ULisboa).

Por Ana Relvas.

Doutorada em Engenharia Aeroespacial, Ana Relvas dedica-se agora a treinar engenheiros e cientistas em gestão de tempo, gestão de stress, comunicação e liderança.

Ana Margarida Antunes Neves defende a tese "Black seabream, Spondyliosoma cantharus: stock structure in the eastern Atlantic and characterisation of the biology and fishery in the Portuguese coast".

A Associação Ludus e o Departamento de História e Filosofia das Ciências da Faculdade de Ciências da Universidade de Lisboa tomaram a iniciativa de organizar regularmente um conjunto de conferências de alto nível.

Susana Moniz Alves defende a dissertação "Avaliação das condições de liquidez em gestão de pensões em sistemas contributivos e não contributivos".

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

Por Pedro Machado (IA/Faculdade de Ciências da Universidade de Lisboa) e Isabel Abreu (ITQB-NOVA).

Páginas