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

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.

Páginas