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
Planeia o teu futuro com o Mestrado em Química da FCUL!

Programa do evento disponível aqui.

João Filipe Delgado dos Santos defende a tese "Regulation of CFTR trafficking and membrane anchoring: new insights into cAMP signalling".

Jornadas do Programa Doutoral em Filosofia da Ciência, Tecnologia, Arte e Sociedade, a decorrerem nos dias 09, 16, 23 e 30 de maio de 2019.

Ciclo de colóquios no âmbito da Exposição "E3 - Einstein, Eddington e o Eclipse"

Colóquio por Paulo Crawford (Instituto de Astrofísica e Ciências do Espaço, Faculdade de Ciências, Universidade de Lisboa).

Por Marco Ferrante (Postdoctoral scholar, Mitrani Department of Desert Ecology, Jacob Blaustein Institutes for Desert Research, Ben-Gurion University of the Negev, Midreshet Ben-Gurion, Israel).

Videoconferência.

Por Nuno Leite (Esri Portugal).

Seminário Permanente de Astronomia Antiga | CIUHCT/UL - DHFC/FCUL "Os mecanismos e modelos árabes em Copérnico"

Este seminário é um curso livre, aberto à comunidade académica e a todos os interessados, com entrada gratuita.

Por Mark Kirkpatrick (Professor of the Department of Integrative Biology, College of Natural Sciences, The University of Texas at Austin).

Pormenor da Exposição "Formas & Fórmulas", patente ao público em Ciências entre outubro de 2016 e março de 2017

Sessão com a presença de coordenadores de curso e mestrandos.

Curso organizado no âmbito do mestrado em Bioestatística, com o apoio do Departamento de Estatística e Investigação Operacional e do CEAUL - Centro de Estatística e Aplicações da Universidade de Lisboa.

Conferência no âmbito do projeto MEDEA-CHART | CIUHCT "Johann Schöner’s Globe of 1523: The Final Resolution of the Crisis in Renaissance Cosmography"

Com Gregory McIntosh (Aluno de Doutoramento da FCUL, MEDEA-CHART/CIUHCT).

Esta palestra é de entrada livre e será proferida em inglês.

Apresentação dos cursos de Mestrado e Pós-Graduação do Departamento de Informática

Esta sessão tem como objetivo discutir as motivações e perspetivas associadas com a realização de um mestrado ou uma pós-graduação, apresentar a estrutura dos cursos e as disciplinas que estes envolvem e esclarecer as dúvidas que os potenciais interessados coloquem.

O evento pretende incentivar os alunos de Ciências a conhecer, de uma forma informal, ​a investigação que se realiza no DQB.

Noites no Observatório "Buracos Negros: Novos Horizontes"

Os buracos negros são regiões extremamente distorcidas no espaço (e no tempo), nas quais nem sequer a luz consegue escapar à atração gravitacional.

Por Antonio Córdoba (Universidad Autónoma de Madrid).

Filipa Isabel Martins Borlinhas defende a tese "Diffusion-Weighted Imaging in Breast Magnetic Resonance".

O evento pretende incentivar os alunos de Ciências a conhecer, de uma forma informal, ​a investigação que se realiza no DQB.

Por Nuno Sepúlveda (London School of Hygiene & Tropical Medicine & CEAUL).

Por Klaus Harms e João A. Gama (“The Arctic University of Norway", Tromsø, Norway).

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.

Inclui três palestras e uma mostra do espólio da Sociedade de Geografia de Lisboa relacionada com a efeméride.

Por Saskia Hogenhout (John Innes Centre - Norwich, UK).

Plastics Heritage Congress 2019

O plástico transformou as nossas vidas como poucas outras invenções, desde a sua criação, há pouco mais de 100 anos. Se déssemos um nome à nossa época, com base no tipo de materiais que configuram o mundo em que vivemos, seria a Era do Plástico.

CQE Days - Spring Meeting 2019

The main purpose of the event is to highlight original research trends shared within and between CQE’s new four Thematic Lines: Synthesis, Catalysis and Reactivity - SYNCat; Materials, Soft Matter and NanoChemistry - MATSoft; Sustaina

Páginas