Seminário de Lógica Matemática

Non-deterministic semantics for non-classical logics: an approach from the perspective of model theory and universal algebra

Sala 6.2.33, FCUL, Lisboa

Por Guilherme Toledo (Universidade Estadual de Campinas).

Abstract: In this presentation, we will analyze some topics in the formal study of non-deterministic semantics for non-algebraizable logical systems using tools from universal algebra, model and category theory. Specifically, we want to address some open problems proposed in recent work on non-deterministic semantics and algebraization of non-deterministic model of logical systems through swap and Fidel structures. One of the greatest difficulties in the study of non-classical logic, including paraconsistent ones, is that these systems often can not be characterized by verofunctional semantics. In particular, systems of major philosophical interest are generally not algebraizable by the usual methods, such as those of Blok and Pigozzi. Currently, one of the most studied classes of paraconsistent logics is the one of Logics of Formal Inconsistency (LFI), introduced by Carnielli and Marcos in the year 2000 [1]. In [2], Coniglio, Figallo-Orellano and Golzio carried out a study, from the perspective of universal algebra and category theory, of classes of swap structures for several LFI's, beginning with mbC. It was obtained, among other important results, a representation theorem of Birkhoff type for each class of swap structures. An important problem to be addressed is the development of a theory of equations in multialgebras, in order to formally define varieties. This would allow to characterize hyperalgebras in an intrinsic way, making this topic closer to the discipline of universal algebras and of model theory. We will start this communication with a brief analysis of the logics of formal inconsistency, showing then how the swap structures are constructed and how they serve as an algebraic counterpart to LFI's such as mbC. We will show how swap structures can be treated as multialgebras, justifying then our passage to the abstract study of multialgebras. We will discuss its definition, as well as the possible definitions of homomorphism, subalgebra, product, term and identity, emphasizing here how there are still no preferable definitions in this context for each of these concepts. Finally we will use the approach of invariants by class operators to show some possible generalizations of Tarski's theorem for universal algebras. If there is time, we will also mention our recent research on freely generated multialgebras.

16h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
Fotografia de uma edição anterior da competição SensUs, com vários participantes no contexto de um pavilhão com diversos stands

A iniciativa conta com a participação da equipa Team LxUs - The University of Lisbon SensUs Team, um grupo multidisciplinar de estudantes da Universidade de Lisboa.

Young scientists in the Marine Natural Products (MNP) field from all over the world are especially encouraged to participate.

JPI on Cultural Heritage

A Fundação para a Ciência e Tecnologia (FCT) é parceira da JPI on Cultural Heritage e participa no concurso que se encontra aberto - Conservação, Proteção e Uso -, o qual que apoiará investig

International Workshop on Differential Equations - On the Occasion of Luis Sanchez’s 70th Birthday

The celebration, presented as an International Workshop on Differential Equations, will have distinguished Plenary Speakers who have had an emblematic importance in Sanchez scientific activity, at national and international level, and are, moreover, representative of&nb

Fotografia de uma aluna sénior

O Programa de Formação Universitária para Seniores da Universidade de Lisboa pretende acrescentar ao tradicional papel da Universidade de ensino e formação dos mais jovens uma nova missão, não menos importante, que naturalmente complementa o serviço público que lhe cabe prestar

Droidcon Lisboa 2019

A Droidcon é a maior conferência mobile do mundo, já presente em mais de 25 cidades (Londres, Berlim, Nova Iorque, São Francisco...).

Protolang 6

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

Gaspar Barreira foi um dos fundadores do LIP, Laboratório de Instrumentação e Física Experimental de Partículas, e ao LIP dedicou grande parte da sua imensa energia nos últimos 30 anos. Era o Delegado de Portugal ao Conselho do CERN e ao Conselho do SESAME.

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.

Almoços com Ciências

Especialistas de Ciências ULisboa conversam informalmente sobre temas atuais, durante o almoço.

Decorrerão, durante a conferência, sessões práticas sobre o uso de ferramentas avançadas de computação e processamento de dados em infraestruturas distribuídas.

Joana Teresa de Almeida Fernandes defende a tese "Avaliação do risco cardiovascular na Atividade Seguradora".

Almoços com Ciências

Especialistas de Ciências ULisboa conversam informalmente sobre temas atuais, durante o almoço.

Pôr-do-sol em Lisboa

Lisboa será palco da Primeira Conferência Internacional Comunidades de Energia.

A conferência é organizada pela Coopérnico - Cooperativa de Energias Renováveis, através do projeto COMPILE, e pelo grupo CCIAM do cE3c, FCUL, através dos projetos PROSEU e BEACON.

Almoços com Ciências

Especialistas de Ciências ULisboa conversam informalmente sobre temas atuais, durante o almoço.

As provas, requeridas por Miguel Brás de Carvalho, decorrem nos dias 17 e 18 de outubro de 2019.

No dia 18 de outubro, será apreciado o sumário do seminário/lição com o título "Statistical modeling of extremes".

VI Feira da Matemática

Dois dias repletos de atividades científicas, culturais e educativas dirigidas a todos os públicos.

No âmbito das comemorações do IYPT2019, o Departamento de Química e Bioquímica de Ciências ULisboa convida as escolas secundárias a participar num Congresso sob o tema “O que existe no meu mundo” que irá englobar comunicações orais ou em painel e quizzes

Almoços com Ciências

Especialistas de Ciências ULisboa conversam informalmente sobre temas atuais, durante o almoço.

1.ª Conferência Campus Sustentável (CCS 2019)

As Instituições de Ensino Superior devem inspirar uma "cultura de sustentabilidade", procurando funcionar como modelos através da incorporação dos pilares da sustentabilidade em todos os níveis de decisão.

A conferência pretende ser um ponto de encontro para investigadores, ativistas, gestores públicos e empreendedores envolvidos com temas de economia social e solidária, gestão dos bens comuns e novos movimentos sociais em diferentes regiões e países do mundo.