Prezados,
Seguindo com a presença da Lógica na recente tradição dos encontros bilaterais
da Sociedade Brasileira de Matemática com as respectivas sociedades de
outros países, em encontros organizados no Brasil (Brasil-Espanha 2015,
Brasil-Itália 2016 e Brasil-França 2019),
Teremos também uma Sessão de Lógica Matemática no Encontro Conjunto
Brasil-Portugal de Matemática
https://sites.google.com/view/ecbpm/
o qual vai ser realizado aqui mesmo em Salvador, na semana que vem, de 14 a 19
de agosto.
A sessão de Lógica ocorrerá em duas tardes, na quinta dia 18 (apresentações
presenciais) e sexta dia 19 (apresentações online).
Mesmo as apresentações presenciais, tentaremos viabilizar a transmissão ao vivo
pelo Canal de YouTube do Grupo de
Lógica da UFBA, mando mensagem na semana que vem confirmando isso (além de
divulgar o link para a sessão da sexta-feira
que vai ser online de todas as formas).
Também temos uma página própria para a Sessão de Lógica:
https://sites.google.com/view/logica-brasil-portugal
Segue a descrição da sessão:
==
Tópicos:
Decidability, Proof Theory, Type Theory, Model Theory, Complexity, Algebraic
Logic, Categorical
Logic, Non-Classical Logics, Set Theory.
Organizadores da Sessão Temática:
Alfredo Roque Freire
Elaine Pimentel
João Marcos
Manuel Martins
Samuel G. da Silva
**
Quinta-feira, 18 de Agosto
**
13:50–14:00 Abertura da sessão (Elaine & João Marcos - organização)
14:00–14:20 Pedro Quaresma - Coimbra, Portugal
New and interesting theorems
14:20–14:40 Renata de Freitas - Niterói, Brasil
Graph logic in use
14:40–15:00 Samuel Gomes da Silva - Salvador, Brasil
Kolmogorov-Veloso Problems, Dialectica Categories and Choice Principles
15:00–15:20 Alfredo Roque Freire - Aveiro, Portugal
Modalities in worlds with different logics
15:20–15:40 Ciro Russo - Salvador, Brasil
Coproducts and amalgamation of deductive systems by means of ordered algebras
15:40–16:00 Darllan Pinto - Salvador, Brasil
Horn filter pairs and Craig interpolation in propositional logics
*
Sexta-feira, 19 de Agosto
*
14:00–14:15 Marcelo Coniglio - Campinas, Brasil
A new decision method for da Costa’s C-systems by means of restricted
non-deterministic matrix semantics
14:15–14:30 Luís Pinto - Braga, Portugal
Call-by-name and call-by-value lambda-calculi as modal calculi
14:30–14:45 Mário Florido - Porto, Portugal
Substructural logics: less rules mean more expressiveness
14:45–15:00 Cristina Sernadas - Lisboa, Portugal
Schema complexity in propositional-based logics
15:00–15:15 Mário Jorge Edmundo - Lisboa, Portugal
Logic and algebraic varieties in non-Archimedean fields
15:15–15:30 Isabel Oitavem - Lisboa, Portugal
A logical approach to the Polynomial Hierarchy
15:30–15:45 Alexandre Madeira - Aveiro, Portugal
Towards the generation of graded modal logics: parametric methods and
applications
15:45–16:00 Hugo Mariano - São Paulo, Brasil
Algebraic and model-theoretical contributions to the theory of algebraically
closed multifields
16:00–16:10 Manuel & Alfredo (organização)
Encerramento
===
Uma versão completa dos resumos está na página do Brasil-Portugal, junto com
todas as outras sessões
https://sites.google.com/view/ecbpm/sess%C3%B5es-tem%C3%A1ticas
e de todos os modos os resumos de Lógica estão disponíveis no Drive abaixo:
https://drive.google.com/file/d/1VDq4QbModS7udFIqrh3CCg1ofbno1Zk6/view
Abraços
[]s Samuel
PS: Temos colegas lógicos também na Sessão de Teoria das Categorias, a qual vai
ocorrer nos mesmos dias (quinta 18 e sexta 19), porém na parte
da manhã.
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
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 ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1614967870.1741939.1660246216221.JavaMail.zimbra%40ufba.br.