Inferencial interpretaciones de lógicas de muchos valores
Autores: Molick, Sanderson
Idioma: Inglés
Editor: MDPI
Año: 2024
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
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.
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.