La lógica difusa básica del núcleo y la semántica algebraica al estilo Routley-Meyer
Autores: Yang, Eunsuk
Idioma: Inglés
Editor: MDPI
Año: 2021
Acceso abierto
Artículo científico
2021
La lógica difusa básica del núcleo y la semántica algebraica al estilo Routley-Meyer
Categoría
Matemáticas
Subcategoría
Análisis matemático
Palabras clave
álgebra
Lógica difusa
Núcleo subestructural
Lógica Mianorm
Extensiones axiomáticas
Relacional ternario.
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 25
Citaciones: Sin citaciones
Recientemente, se introdujo una semántica algebraica de estilo Routley-Meyer para lógicas subestructurales básicas. Este documento la extiende a lógicas difusas. Primero, recordamos el núcleo subestructural básico de la lógica difusa (lógica Mianorm) y sus extensiones axiomáticas, junto con su semántica algebraica. A continuación, introducimos dos tipos de semántica relacional ternaria, llamada aquí lineal y semántica Routley-Meyer, para ellas como semántica de estilo Routley-Meyer.
Descripción
Recientemente, se introdujo una semántica algebraica de estilo Routley-Meyer para lógicas subestructurales básicas. Este documento la extiende a lógicas difusas. Primero, recordamos el núcleo subestructural básico de la lógica difusa (lógica Mianorm) y sus extensiones axiomáticas, junto con su semántica algebraica. A continuación, introducimos dos tipos de semántica relacional ternaria, llamada aquí lineal y semántica Routley-Meyer, para ellas como semántica de estilo Routley-Meyer.