logo móvil
Contáctanos

Distribución-libre de lógicas modales normales

Autores: Hartonas, Chrysafis

Idioma: Inglés

Editor: MDPI

Año: 2025

Descargar PDF

Acceso abierto

Artículo científico
2025

Distribución-libre de lógicas modales normales


Categoría

Matemáticas

Subcategoría

Lógica

Palabras clave

Semántico
Libre de distribución
Lógica modal normal
Semántica relacional
Canonicidad
Completitud

Licencia

CC BY-SA – Atribución – Compartir Igual

Consultas: 20

Citaciones: Sin citaciones


Descripción
Este artículo inicia el estudio semántico de sistemas de lógica modal normal sin distribución, sentando las bases semánticas y anticipando futuras investigaciones en el área. El artículo explora aproximadamente la misma área, aunque con un enfoque diferente, que un artículo reciente de Bezhanishvili, de Groot, Dmitrieva y Morachini, quienes estudiaron una versión sin distribución de la lógica modal positiva de Dunn (PML). A diferencia de PML, consideramos lógicas que pueden prescindir de la distribución y que están equipadas tanto con un conectivo de implicación como con operadores modales. Adoptamos un enfoque semántico relacional uniforme, basándonos en resultados recientes sobre representación y dualidad para expansiones de retículas normales. Demostramos la canonicidad y completitud en la semántica relacional de la lógica modal normal mínima sin distribución, asumiendo solo el axioma K, así como las de sus extensiones axiomáticas obtenidas agregando cualquiera de los axiomas D, T, B, S4 o S5. La adición de distribución puede ser fácilmente acomodada y, como resultado adicional, también obtenemos un nuevo tratamiento semántico de la lógica modal intuicionista.

Otros recursos que podrían interesarte

Temas Virtualpro