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

Formações Horta FCUL 2019

Por Chase Austyn Brisbois (Department of Materials Science and Engineering, Northwestern University, USA).

Por Carlos Antunes (Instituto Dom Luiz, FCUL).

Por Pierre Ibisch (Eberswalde University for Sustainable Development, Germany).

Ciências na feira Unlimited Future (Porto)

A feira Unlimited Future conta, uma vez mais, com a presença da Faculdade de Ciências, entre outras instituições.

Conferências CIUHCT "O espetáculo de uma doença colonial"

As Conferências do CIUHCT são um ciclo de palestras organizado anualmente pelo CIUHCT acerca de assuntos de História das Ciências e da Tecnologia.

Sinopse:

60 Minutos de Ciência "Pergunta o lobo: Para vocês, o que sou eu?"

O lobo é uma das espécies cuja área de distribuição mundial foi fortemente reduzida. Os mitos que desde sempre estiveram associados a este predador, criaram no imaginário coletivo a ideia de que a espécie era indesejável, e o melhor para o homem era exterminá-la.

The seminar follows the growing commitment of Higher Education Institutions (HEI) to sustainability in a c

Por Susana Custódio (Departamento de Engenharia Geográfica, Geofísica e Energia - Ciências ULisboa / Instituto Dom Luiz - ULisboa).

Workshops ScienceIN2Business "Da Ideia ao Negócio"

O 2.º workshop do ScienceIN2Business vai percorrer o caminho do empreendedor desde a ideia até à criação do negócio.

Seminário "ECONICS, solutions inspired by ecological systems"

ECONICS proposal is the application of the understanding of complex systems theory and scaled ecosystem dynamics, to practical problems in sustainable management of ecosystems.

Por Gregory Berkolaiko (Texas A&M University).

Curso de formação avançada "Direito Agrário e Sustentabilidade"

Num país tradicionalmente agrícola que redescobre a mais-valia do sector agrário para o crescimento sustentável da economia, a Formação Avançada em Direito Agrário e Sustentabilidade tem por objetivo principal colmatar a lacuna observada de ausência, no plano nacional, de uma f

Ivo Manuel Tavares Costa defende a tese "Técnica de Cristalização de silício por zona fundida Elétrica".

CiclOficina da FCUL

Por Pedro Pinto (Faculdade de Ciências, CMAFcIO, Universidade de Lisboa).

As provas, requeridas por Miguel Centeno da Costa Ferreira Brito, decorrem nos dias 25 e 26 de março de 2019.

No dia 26 de março, será apreciado o sumário do seminário/lição com o título "Potencial solar da cidade".

School and Symposium "Data Science in (Astro)Particle Physics and Cosmology: the Bridge to Industry"

LIP, University of Minho, IDPASC and the COST action g2net are organizing a school on Data Science in (Astro)Particle Physics and Cosmology, targeted at PhD and MSc students, as well as at researchers from diff

Conhecem todas as vossas soft skills?

Conhecem todas as vossas soft skills?

Este é um workshop que vos vai permitir explorar diferentes estratégias de comunicação e de presença. Criem impacto e atinjam melhores resultados na vossa vida profissional com esta formação.

Logótipo EIT Health

Encontram-se abertas, para toda a comunidade da ULisboa, as Calls para o Bussiness Plan do EIT Health para 2020.

 

International Workshop "From Automata to Robotics"

Both automata and humanoid robots, including intelligent machines are at the core of the intersection between culture and nature, between science, technology and art.

Seminário Permanente de Astronomia Antiga "Plutarco. Sobre a face visível no orbe da Lua"

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

Abertura de candidaturas 2019/2020.

Queres participar numa experiência internacional entre Ciências, Copenhagen Business School e University of Copenhagen, no primeiro semestre do próximo ano letivo?

Erasmus+: Estágios para recém-graduados

Estágios para recém-graduados: Candidaturas online de 01 a 31 de março de 2019.

Páginas