101
click to vote
IGPL
2002
15 years 3 months ago
2002
The system of natural deduction that originated with Gentzen (1934
118
click to vote
IANDC
2000
15 years 3 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...