Kolmogorov and Gödel's approach to intuitionistic logic: current developments (Q4829857)
From MaRDI portal
scientific article; zbMATH DE number 2120744
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Kolmogorov and Gödel's approach to intuitionistic logic: current developments |
scientific article; zbMATH DE number 2120744 |
Statements
Kolmogorov and Gödel's approach to intuitionistic logic: current developments (English)
0 references
1 December 2004
0 references
survey
0 references
extensions of LP
0 references
logic of proofs
0 references
proof search
0 references
Kripke models
0 references
complexity
0 references
interpolation
0 references
