Seminário no CLE/UNICAMP nesta quarta-feira

[Marcelo Esteban Coniglio]

Prezados(as),

Nesta quarta-feira teremos mais um seminário do Grupo de Lógica
Teórica e Aplicada (GLTA) no Centro de Lógica, Epistemologia e
História da Ciência (CLE) da UNICAMP. Seguem abaixo os dados:

Dia: 28/09/2016
Horário: 16:00
Local: Sala de Seminários do CLE (sala Kurt Gödel)
Rua Sérgio Buarque de Holanda, 251 (em frente à DAC), UNICAMP.

Palestrante: Ana Claudia Golzio
Doutoranda em Filosofia, IFCH/UNICAMP

Titulo: Towards an hyperalgebraic theory of non-algebrizable logics

Resumo:

Multialgebras (or hyperalgebras) have been very much studied in the
literature since 1934. In the realm of Logic, they were considered by
Avron and his
collaborators under the name of non-deterministic matrices (or
Nmatrices) as a useful semantics tool for characterizing some logics
(in particular, several logics of formal inconsistency or LFIs) which
cannot be characterized by a single finite matrix. In particular,
these LFIs are not algebraizable by any method, including Blok and
Pigozzi general theory. Carnielli and Coniglio introduced a semantics
of swap structures for LFIs, which are Nmatrices defined over triples
in a Boolean algebra, generalizing Avron’s semantics. In this talk we
develop the first steps towards the possibility of defining an
algebraic theory of swap structures for LFIs, by adapting concepts of
universal algebra to multialgebras in a suitable way.

This is a joint work with Marcelo E. Coniglio and Aldo Figallo-Orellano.
-------------------------------------

Abraços,

Marcelo