A CONSTRUCTIVE EXAMINATION OF A RUSSELL-STYLE RAMIFIED TYPE THEORY (Q4637943)
From MaRDI portal
scientific article; zbMATH DE number 6866161
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A CONSTRUCTIVE EXAMINATION OF A RUSSELL-STYLE RAMIFIED TYPE THEORY |
scientific article; zbMATH DE number 6866161 |
Statements
A CONSTRUCTIVE EXAMINATION OF A RUSSELL-STYLE RAMIFIED TYPE THEORY (English)
0 references
3 May 2018
0 references
ramified type theory
0 references
intuitionistic logic
0 references
reducibility axiom
0 references
