Révision 258
| CSL17/tech-report/appendix-completeness.tex (revision 258) | ||
|---|---|---|
| 1 |
\section{Proof of completeness}\label{appendix:completeness}
|
|
| 2 |
|
|
| 3 |
The rest of this section is devoted to a proof of this theorem. |
|
| CSL17/tech-report/main.tex (revision 258) | ||
|---|---|---|
| 69 | 69 |
%%\input{pv-theories}
|
| 70 | 70 |
\input{appendix-sequent-calculus}
|
| 71 | 71 |
|
| 72 |
\input{appendix-completeness}
|
|
| 73 | 72 |
|
| 74 | 73 |
\end{document}
|
| 75 | 74 |
|
Formats disponibles : Unified diff