IGPL
2002
13 years 10 months ago
2002
The system of natural deduction that originated with Gentzen (1934
IANDC
2000
13 years 10 months ago
2000
Abstract. We present a uniform algorithm for transforming machine-found matrix proofs in classical, constructive, and modal logics into sequent proofs. It is based on unified repre...