Residuated basic logic
Autores: Lin, Zhe; Ma, Minghui
Idioma: Inglés
Editor: MDPI
Año: 2023
Acceso abierto
Artículo científico
2023
Residuated basic logic
Categoría
Matemáticas
Subcategoría
Análisis matemático
Palabras clave
Lógica
Residuado
álgebras básicas
Implicación
Cálculo de secuentes al estilo de Gentzen
Cálculo de Lambek distributivo completo no asociativo
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 21
Citaciones: Sin citaciones
La lógica básica residuada es la lógica de las álgebras básicas residuadas, que constituye una extensión conservativa de la lógica proposicional básica.
Descripción
La lógica básica residuada es la lógica de las álgebras básicas residuadas, que constituye una extensión conservativa de la lógica proposicional básica.