A Free Variable Sequent Calculus with Uniform Variable Splitting

Talk
September 11, 2003
TABLEAUX 2003, Rome, Italy

Presentation of the paper A Free Variable Sequent Calculus with Uniform Variable Splitting under TABLEAUX 2003.