Department of Mathematics
Stockholm University
Research Reports in Mathematics
Number 7, 2003
Jens Brage.
A classical tableau calculus.
Publication date:
July 28, 2003.
Keywords:
Gentzen calculi, cut-elimination, intuitionistic type theory, normal-form, tableau calculi.
2000 MSC:
Primary
03F03,
Secondary
03B10, 03F05, 03F55.
Download report as:
[
PostScript
][
Portable Document Format
]
[
2003
][
Report archive
][
Dept Math
]
