Pitts' quantifiers are not topological quantification (Q5937836)
From MaRDI portal
scientific article; zbMATH DE number 1620831
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Pitts' quantifiers are not topological quantification |
scientific article; zbMATH DE number 1620831 |
Statements
Pitts' quantifiers are not topological quantification (English)
0 references
17 July 2001
0 references
Heyting calculus
0 references
propositional quantification
0 references
intuitionistic logic
0 references
topological interpretation
0 references
monadic language
0 references
propositional quantifiers
0 references
Kripke models
0 references
0 references
