KE-tableaux para l´ogica intuicionista proposicional

Alejandro Solares-Rojas; Paolo Baldi; Ricardo O. Rodriguez

KE-tableaux for intuitionistic propositional logic

Authors

Alejandro Solares-Rojas Universidad de Buenos Aires, Argentina https://orcid.org/0000-0001-7269-0096
Paolo Baldi Universidad del Salento, Italia https://orcid.org/0000-0003-2657-753X
Ricardo O. Rodriguez Universidad de Buenos Aires, Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET), Argentina https://orcid.org/0000-0001-7551-2877

Keywords:

intuitionistic propositional logic, KE system, free-variable labeled tableaux, relational semantics

Abstract

KE-tableaux are generalized to intuitionistic propositional logic by means of labeled signed formulas and constraints between labels, so that the resulting system closely mimics countermodel construction in the relational semantics. To improve on proof-search, we further endow the system with free-variables and show some of its basic properties: soundness, completeness and termination.

Downloads

PDF (Spanish)

Published

2025-10-15

Issue

Vol. 11 No. 1 (2025): ASAID – Argentine Symposium on Artificial Intelligence and Big Data

Section

Original papers

License

This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.

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.

How to Cite

Solares-Rojas, A., Baldi, P., & Rodriguez, R. O. (2025). KE-tableaux for intuitionistic propositional logic. JAIIO, Jornadas Argentinas De Informática, 11(1), 103-107. https://revistas.unlp.edu.ar/JAIIO/article/view/19761

Download Citation