logo móvil
Contáctanos

La lógica connexiva bilateral

Autores: Francez, Nissim

Idioma: Inglés

Editor: MDPI

Año: 2023

Descargar PDF

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


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.

Otros recursos que podrían interesarte

Temas Virtualpro