Models of intuitionistic TT and NF (Q4842637)
From MaRDI portal
scientific article; zbMATH DE number 785347
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Models of intuitionistic TT and NF |
scientific article; zbMATH DE number 785347 |
Statements
Models of intuitionistic TT and NF (English)
0 references
15 August 1995
0 references
New Foundations
0 references
intuitionistic part of a classical theory
0 references
Simple Theory of Types
0 references
Kripke models
0 references
excluded middle
0 references
