logo móvil
Contáctanos

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

Descargar PDF

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


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í.

Otros recursos que podrían interesarte

Temas Virtualpro