La lógica connexiva bilateral
Autores: Francez, Nissim
Idioma: Inglés
Editor: MDPI
Año: 2023
Acceso abierto
Artículo científico
2023
La lógica connexiva bilateral
Categoría
Matemáticas
Subcategoría
Lógica
Palabras clave
Propone
Análisis bilateral
Conexividad
Sistema de deducción natural
Lógica débil connexiva
Incoherencia-afirmación
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 23
Citaciones: Sin citaciones
Este documento propone un análisis bilateral de la conexividad, presentando un sistema bilateral de deducción natural para una lógica connexiva débil. La lógica propuesta se desvía de otras lógicas connexivas y otras lógicas bilaterales en los siguientes aspectos: (1) La lógica induce una diferencia en el significado entre las ocurrencias internas y externas de la negación en los axiomas connexivos. (2) La lógica permite la incoherencia-afirmación y la negación de la misma fórmula, manteniendo su no trivialidad.
Descripción
Este documento propone un análisis bilateral de la conexividad, presentando un sistema bilateral de deducción natural para una lógica connexiva débil. La lógica propuesta se desvía de otras lógicas connexivas y otras lógicas bilaterales en los siguientes aspectos: (1) La lógica induce una diferencia en el significado entre las ocurrencias internas y externas de la negación en los axiomas connexivos. (2) La lógica permite la incoherencia-afirmación y la negación de la misma fórmula, manteniendo su no trivialidad.