Report - Full First-Order Sequent and Tableau Calculi With ... · will use nullary parameters, which we call free δ-variables. These variables are not free in the sense that they may be chosen

Please pass captcha verification before submit form