Study on Synthetic Tableaux with Unrestricted Cut for First-Order Theories

A cut-based tableau system with synthesising rules introducing complex formulas is the process of synthetic tableaux. In this paper, for Classical First-Order Logic, we present the method of synthetic tableaux, and we suggest a strategy to expand the system to first-order theories axiomatized by universal axioms. The method was influenced by the works of Negri…
Read more


December 24, 2020 0