Matches in SemOpenAlex for { <https://semopenalex.org/work/W110504306> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W110504306 abstract "We present an overview of the unintended interpretations of intuitionistic logic that arose after Heyting formalized the “observed regularities” in the use of formal parts of language, in particular, first-order logic and Heyting Arithmetic. We include unintended interpretations of some mild variations on “official” intuitionism, such as intuitionistic type theories with full comprehension and higher order logic without choice principles or not satisfying the right choice sequence properties. We conclude with remarks on the quest for a correct interpretation of intuitionistic logic." @default.
- W110504306 created "2016-06-24" @default.
- W110504306 creator A5048255667 @default.
- W110504306 date "2008-01-01" @default.
- W110504306 modified "2023-09-25" @default.
- W110504306 title "The Unintended Interpretations of Intuitionistic Logic" @default.
- W110504306 cites W126568045 @default.
- W110504306 cites W1503796635 @default.
- W110504306 cites W1525064220 @default.
- W110504306 cites W1699512023 @default.
- W110504306 cites W1745730517 @default.
- W110504306 cites W177032397 @default.
- W110504306 cites W1966978216 @default.
- W110504306 cites W2007681226 @default.
- W110504306 cites W2035120169 @default.
- W110504306 cites W2043566933 @default.
- W110504306 cites W2059529852 @default.
- W110504306 cites W2059933820 @default.
- W110504306 cites W2065251436 @default.
- W110504306 cites W2084684966 @default.
- W110504306 cites W2120713972 @default.
- W110504306 cites W2150690980 @default.
- W110504306 cites W2155581733 @default.
- W110504306 cites W2242448088 @default.
- W110504306 cites W2291208220 @default.
- W110504306 cites W4235553305 @default.
- W110504306 cites W4243933121 @default.
- W110504306 cites W54230469 @default.
- W110504306 cites W889431080 @default.
- W110504306 cites W95580990 @default.
- W110504306 cites W957426456 @default.
- W110504306 cites W981129589 @default.
- W110504306 doi "https://doi.org/10.1007/978-0-8176-4769-8_10" @default.
- W110504306 hasPublicationYear "2008" @default.
- W110504306 type Work @default.
- W110504306 sameAs 110504306 @default.
- W110504306 citedByCount "1" @default.
- W110504306 crossrefType "book-chapter" @default.
- W110504306 hasAuthorship W110504306A5048255667 @default.
- W110504306 hasConcept C102993220 @default.
- W110504306 hasConcept C111472728 @default.
- W110504306 hasConcept C118615104 @default.
- W110504306 hasConcept C138885662 @default.
- W110504306 hasConcept C150889026 @default.
- W110504306 hasConcept C153107464 @default.
- W110504306 hasConcept C154945302 @default.
- W110504306 hasConcept C178421362 @default.
- W110504306 hasConcept C204321447 @default.
- W110504306 hasConcept C33923547 @default.
- W110504306 hasConcept C41008148 @default.
- W110504306 hasConcept C41895202 @default.
- W110504306 hasConcept C46274116 @default.
- W110504306 hasConcept C527412718 @default.
- W110504306 hasConcept C69562738 @default.
- W110504306 hasConceptScore W110504306C102993220 @default.
- W110504306 hasConceptScore W110504306C111472728 @default.
- W110504306 hasConceptScore W110504306C118615104 @default.
- W110504306 hasConceptScore W110504306C138885662 @default.
- W110504306 hasConceptScore W110504306C150889026 @default.
- W110504306 hasConceptScore W110504306C153107464 @default.
- W110504306 hasConceptScore W110504306C154945302 @default.
- W110504306 hasConceptScore W110504306C178421362 @default.
- W110504306 hasConceptScore W110504306C204321447 @default.
- W110504306 hasConceptScore W110504306C33923547 @default.
- W110504306 hasConceptScore W110504306C41008148 @default.
- W110504306 hasConceptScore W110504306C41895202 @default.
- W110504306 hasConceptScore W110504306C46274116 @default.
- W110504306 hasConceptScore W110504306C527412718 @default.
- W110504306 hasConceptScore W110504306C69562738 @default.
- W110504306 hasLocation W1105043061 @default.
- W110504306 hasOpenAccess W110504306 @default.
- W110504306 hasPrimaryLocation W1105043061 @default.
- W110504306 hasRelatedWork W1596801655 @default.
- W110504306 hasRelatedWork W1972437902 @default.
- W110504306 hasRelatedWork W2358668433 @default.
- W110504306 hasRelatedWork W2373011076 @default.
- W110504306 hasRelatedWork W2376932109 @default.
- W110504306 hasRelatedWork W2387147530 @default.
- W110504306 hasRelatedWork W2390279801 @default.
- W110504306 hasRelatedWork W2688602461 @default.
- W110504306 hasRelatedWork W2748952813 @default.
- W110504306 hasRelatedWork W2899084033 @default.
- W110504306 isParatext "false" @default.
- W110504306 isRetracted "false" @default.
- W110504306 magId "110504306" @default.
- W110504306 workType "book-chapter" @default.