Sobre un método arborescente para una lógica sintética de términos

Resumen

La combinación de lógicas se suele llevar a cabo entre sistemas Fregeanos-Tarskianos-Kripkeanos, pero dado que la lógica no necesita estar restringida a esta visión heredada de la lógica, en este trabajo reproducimos una lógica sintética de términos al estilo de Sommers junto con un método de prueba arborescente y mostramos algunas de sus propiedades metateóricas. En particular, mostramos que las lógicas que sintetizamos se pueden combinar adecuadamente y que el método arborescente sintético preserva las propiedades de los métodos arborescentes de cada lógica de base.