|
96
|
1 |
\begin{thebibliography}{}
|
|
|
2 |
|
|
|
3 |
\bibitem[Dyckhoff, 1992]{Dyckhoff92}
|
|
|
4 |
Dyckhoff, R.
|
|
|
5 |
\newblock {C}ontraction-{F}ree {S}equent {C}alculi for {I}ntuitionistic
|
|
|
6 |
{L}ogic.
|
|
|
7 |
\newblock {\em Journal of Symbolic Logic}, 57(3):795--807.
|
|
|
8 |
|
|
|
9 |
\end{thebibliography}
|