Árboles semánticos para la lógica de términos libre
Palabras clave:
Lógica de términos, lógica libre, árboles semánticos
Resumen
Asumiendo que la Lógica de Términos y Funtores se comporta como una lógica libre, en esta contribución modificamos su método de prueba arborescente para acomodar inferencias (in)válidas típicas de una lógica libre.
Publicado
2023-12-29
Cómo citar
Castro-Manzano, J. M. (2023). Árboles semánticos para la lógica de términos libre. Miscelánea Filosófica αρχή Revista Electrónica, 7(20), 72-88. https://doi.org/10.31644/mfarchere_v.7;n.20/24-A04
Sección
Artículos
