Marcelo Esteban Coniglio
(IFCH-CLE-UNICAMP)
Maximalidade e maximalidade forte entre lógicas finitamente valoradas
de Lukasiewicz com filtros de valores distinguidos
Dia: 22 de outubro, 2019
Local: Sala de Reuniões (FIL-UnB)
Horário: 17h-18h30
Marcelo Esteban Coniglio
(IFCH-CLE-UNICAMP)
Teoria de modelos baseada em estruturas pragmáticas para lógicas
paraconsistentes 3-valoradas de primeira ordem: o caso de QCiore
Dia: 24 de outubro, 2019
Local: Sala de Reuniões (FIL-UnB)
Horário: 14h-15h30
--
Site da organização "Lógica no Avião":
lna.unb.br
Site do "Seminário Permanente 'Lógica no Avião'":
logicbrasilia.org
---
Você recebeu essa mensagem porque está inscrito no grupo "Lógica no Avião" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para
logic-bsb+...@googlegroups.com.
Para ver essa discussão na Web, acesse
https://groups.google.com/d/msgid/logic-bsb/CAP_Wf4UQrgvGse7ODorhy%3DCnwL4uW23STrZeFLO7ROgbOdUj0w%40mail.gmail.com.