Los sistemas deductivos con reglas de múltiples conclusiones y la propiedad de disyunción
Autores: Citkin, Alex
Idioma: Inglés
Editor: MDPI
Año: 2019
Acceso abierto
Artículo científico
2019
Los sistemas deductivos con reglas de múltiples conclusiones y la propiedad de disyunción
Categoría
Matemáticas
Subcategoría
Análisis matemático
Palabras clave
Inferencia
Reglas de múltiples conclusiones
Lógicas
Propiedad de disyunción
Regla derivable
Algoritmo de conversión
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 26
Citaciones: Sin citaciones
Utilizando la noción definida de la inferencia con reglas de múltiples conclusiones, mostramos que en las lógicas que disfrutan de la propiedad de la disyunción, cualquier regla derivable puede inferirse a partir de las reglas de una sola conclusión y una regla de múltiples conclusiones, que representa la propiedad de la disyunción. Además, se estudia el algoritmo de conversión de sistemas deductivos de una sola conclusión y de múltiples conclusiones entre sí.
Descripción
Utilizando la noción definida de la inferencia con reglas de múltiples conclusiones, mostramos que en las lógicas que disfrutan de la propiedad de la disyunción, cualquier regla derivable puede inferirse a partir de las reglas de una sola conclusión y una regla de múltiples conclusiones, que representa la propiedad de la disyunción. Además, se estudia el algoritmo de conversión de sistemas deductivos de una sola conclusión y de múltiples conclusiones entre sí.