Un enfoque axiomático de la evocación de preguntas: el caso proposicional
Autores: Winiewski, Andrzej
Idioma: Inglés
Editor: MDPI
Año: 2016
Acceso abierto
Artículo científico
2016
Un enfoque axiomático de la evocación de preguntas: el caso proposicional
Categoría
Matemáticas
Subcategoría
Análisis matemático
Palabras clave
Sistema axiomático
Evocación de preguntas
Lógica proposicional clásica
Solidez
Completitud
Probado
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 33
Citaciones: Sin citaciones
Se propone un sistema axiomático para la evocación de preguntas en la Lógica Proposicional Clásica. Se demuestra la corrección y completitud del sistema.
Descripción
Se propone un sistema axiomático para la evocación de preguntas en la Lógica Proposicional Clásica. Se demuestra la corrección y completitud del sistema.