BECAS
BORZI Agustina
congresos y reuniones científicas
Título:
Structural connectives as logical connectives
Autor/es:
BORZI, AGUSTINA
Reunión:
Seminario; WIP Seminar; 2022
Resumen:
En este trabajo defiendo que una lógica de L4 (también llamado retículo lógico u orden de la verdad en FOUR), la coma, en tanto conectiva estructural, debería comportarse como una de las conectivas lógicas denibles a partir de L4. Esto es lo mismo que decir que, en una lógica de L4, las premisas y conclusiones deberían 'juntarse' de acuerdo a las operaciones disponibles en dicho sistema (i.e. usando la conjunción y disyunción de FDE). Además, presento un sistema de prueba para la familia de lógicas resultantes.
