On a tableux method for a synthetic term logic

Abstract

Combining logics is usually done with respect to Fregean-Tarskian-Kripkean systems, but since logic does not need to be restricted to this received view of logic, in this work we reproduce a synthetic logic of terms à la Sommers together with a tableaux proof method, and we show some of its metatheoretical properties. In particular, we show that the logics we synthetize can be properly combined and that the synthetic tableaux method preserves the properties of the tableaux methods of each basic logic.