Models of intuitionistic TT and NF (Q4842637)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Models of intuitionistic TT and NF |
scientific article; zbMATH DE number 785347
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.90462977
0 references
0.8947259
0 references
0.8919945
0 references
0.89014053
0 references
0.89000845
0 references
0.8886092
0 references
0.8858615
0 references
0 references
0.88187546
0 references
