SeLoI

[Eduardo Alejandro Barrio]

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