Queridos colegas, Mañana martes 25 de Agosto a las 12:00 (Brasil - Argentina) continua nuestro seminario de Lógica Iberoamericana (SeLoI). En esta oportunidad, tenemos a
Elisángela Ramírez (UNAM) "Una semántica para NL (la lógica conexiva de Everett Nelson)". The connexive logic axiomatized in Nelson's Intensional Relations (NL) can be provided with a relational semantics in the style of the ones described by Jarmużek and Malinowski in their Boolean Connexive Logics. I will offer an overview of both relational semantics for Boolean connexive logics, and the intensional vocabulary included in NL. Then I will go over the process behind obtaining a relational semantics for NL, with an emphasis on the proof for the only contraclassical axiom in the logic. Finally, I will compare the resulting semantics with two connexive logics considered by Jarmużek and Malinowski. Unirse a la reunión Zoom https://us02web.zoom.us/j/3928115760?pwd=L010aFRldUU3R0hPRVhxY2pDZkVNdz09 ID de reunión: 392 811 5760 Código de acceso: w9buenos https://www.ba-logic.com/seloi/ Un abrazo, Eduardo -- 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 [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/e0f8571a-742d-4d47-92df-d5e573404a30n%40dimap.ufrn.br.
