Abstract
AbstractWe prove consistency of a sequent calculus for classical logic with explicit splitting of free variables by means of a semantical soundness argument. The free variable system is a mature formulation of the system proposed at TABLEAUX 2003 [1]. We also identify some challenging and interesting open research problems.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have