2-sequent calculus: Intuitionism and natural deduction (1993)

by A Masini
Venue:Journal of Logic and Computation