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 -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAMuX%3D36TzP_w6jnx1vHJgBoQzanhRt%2BfDzLC-ZKiODjsaVO45g%40mail.gmail.com.
