Proof theory in the abstract (Q5957852)
From MaRDI portal
scientific article; zbMATH DE number 1719167
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proof theory in the abstract |
scientific article; zbMATH DE number 1719167 |
Statements
Proof theory in the abstract (English)
0 references
22 March 2003
0 references
This paper gives a purely categorical view of proof theory. The author presents detailed categorical approaches to the Dialectica interpretation and the Diller-Nahm interpretation. The last two sections deal with the problem of coding classical proofs and classical proof theory from a categorical point of view.
0 references
categorical proof theory
0 references
Dialectica interpretation
0 references
