KE-tableaux para l´ogica intuicionista proposicional

Autores/as

Palabras clave:

lógica intuicionista proposicional, sistema KE, tableaux etiquetados con variables libres, semántica relacional

Resumen

Los KE-tableaux son generalizados a lógica intuicionista proposicional mediante fórmulas signadas etiquetadas y restricciones entre tales etiquetas, de modo que el sistema resultante imita la construcción de contramodelos en la semántica relacional. Para hacer más eficiente la búsqueda de demostraciones, dotamos al sistema de variables libres y demostramos algunas de las propiedades básicas del mismo: correctitud, completitud y terminación.

Descargas

Publicado

2025-10-15

Número

Vol. 11 Núm. 1 (2025): ASAID – Simposio Argentino de Inteligencia Artificial y Ciencia de Datos

Sección

Artículos

Licencia

Derechos de autor 2025 Alejandro Solares-Rojas, Paolo Baldi, Ricardo O. Rodriguez

Creative Commons License

Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial-CompartirIgual 4.0.

Acorde a estos términos, el material se puede compartir (copiar y redistribuir en cualquier medio o formato) y adaptar (remezclar, transformar y crear a partir del material otra obra), siempre que a) se cite la autoría y la fuente original de su publicación (revista y URL de la obra), b) no se use para fines comerciales y c) se mantengan los mismos términos de la licencia.

Cómo citar

Solares-Rojas, A., Baldi, P., & Rodriguez, R. O. (2025). KE-tableaux para l´ogica intuicionista proposicional. JAIIO, Jornadas Argentinas De Informática, 11(1), 103-107. https://revistas.unlp.edu.ar/JAIIO/article/view/19761