Department of Mathematics
Stockholm University
Research Reports in Mathematics
Number 8, 2004
Jens Brage.
A natural interpretation of classical proofs.
Publication date:
July 20, 2004.
Keywords:
double negation interpretation, sequent calculus, natural deduction, classical proofs.
2000 MSC:
Primary
03F07,
Secondary
03B10, 03B15, 03F05.
Download report as:
[
PostScript
][
Portable Document Format
]
[
2004
][
Report archive
][
Dept Math
]
