logo móvil
Contáctanos

Inferencial interpretaciones de lógicas de muchos valores

Autores: Molick, Sanderson

Idioma: Inglés

Editor: MDPI

Año: 2024

Descargar PDF

Acceso abierto

Artículo científico
2024

Inferencial interpretaciones de lógicas de muchos valores


Categoría

Matemáticas

Subcategoría

Lógica

Palabras clave

Interpretaciones
Lógicas de muchos valores
Tarskiano
No tarskiano
Consecuencia lógica
Estructura semántica

Licencia

CC BY-SA – Atribución – Compartir Igual

Consultas: 20

Citaciones: Sin citaciones


Descripción
Las interpretaciones no tarskianas de lógicas de muchos valores han sido ampliamente exploradas en la literatura lógica. El desarrollo de concepciones no tarskianas de la consecuencia lógica establece los cimientos teóricos para redescubrir lógicas de muchos valores bien conocidas (tarskianas). Se pueden encontrar en distintos autores muchas interpretaciones novedosas de sistemas de muchos valores. Se producen a través de un tipo de procedimiento que consiste en alterar la estructura semántica de lógicas de muchos valores tarskianas para producir una interpretación no tarskiana de estas lógicas. A través de este tipo de transformación, el artículo explora una manera uniforme de transformar lógicas tarskianas de muchos valores finitos en su interpretación no tarskiana. Se estudian algunas propiedades generales de llevar a cabo este tipo de procedimiento, como las dualidades entre estas lógicas y las condiciones bajo las cuales las lógicas tarskianas negación-explosivas y negación-completas se vuelven no explosivas.

Otros recursos que podrían interesarte

Temas Virtualpro