Matches in SemOpenAlex for { <https://semopenalex.org/work/W2372357029> ?p ?o ?g. }
- W2372357029 abstract "Intuitionistic logic based on the thoughts of intuitionism in mathematics,arguing that something exists if and only if it can be constructed,and that mathematics is the basis of logic.Intuitionistic logic objects to the principle of the excluded middle and reductio ad absurdum,holding that both logicism and formalism are wrong.What is the relation between intuitionistic logic and classical logic,different interpretations might make different answers.Besides,intuitionistic logic faces many problems,though M.Dummett had defended it from philosophy,there are still a lot of rebukes." @default.
- W2372357029 created "2016-06-24" @default.
- W2372357029 creator A5086250286 @default.
- W2372357029 date "2011-01-01" @default.
- W2372357029 modified "2023-09-26" @default.
- W2372357029 title "On Intuitionistic Logic's Rival to Classical Logic" @default.
- W2372357029 hasPublicationYear "2011" @default.
- W2372357029 type Work @default.
- W2372357029 sameAs 2372357029 @default.
- W2372357029 citedByCount "0" @default.
- W2372357029 crossrefType "journal-article" @default.
- W2372357029 hasAuthorship W2372357029A5086250286 @default.
- W2372357029 hasConcept C101874905 @default.
- W2372357029 hasConcept C102993220 @default.
- W2372357029 hasConcept C110039528 @default.
- W2372357029 hasConcept C111472728 @default.
- W2372357029 hasConcept C11413529 @default.
- W2372357029 hasConcept C118615104 @default.
- W2372357029 hasConcept C121649496 @default.
- W2372357029 hasConcept C124952713 @default.
- W2372357029 hasConcept C137155000 @default.
- W2372357029 hasConcept C138885662 @default.
- W2372357029 hasConcept C142362112 @default.
- W2372357029 hasConcept C150889026 @default.
- W2372357029 hasConcept C153107464 @default.
- W2372357029 hasConcept C154945302 @default.
- W2372357029 hasConcept C16796852 @default.
- W2372357029 hasConcept C169896238 @default.
- W2372357029 hasConcept C171482190 @default.
- W2372357029 hasConcept C178421362 @default.
- W2372357029 hasConcept C182744844 @default.
- W2372357029 hasConcept C199343813 @default.
- W2372357029 hasConcept C203659156 @default.
- W2372357029 hasConcept C2777686260 @default.
- W2372357029 hasConcept C28077239 @default.
- W2372357029 hasConcept C32241873 @default.
- W2372357029 hasConcept C33203268 @default.
- W2372357029 hasConcept C33923547 @default.
- W2372357029 hasConcept C41008148 @default.
- W2372357029 hasConcept C47884741 @default.
- W2372357029 hasConcept C558565934 @default.
- W2372357029 hasConcept C71924100 @default.
- W2372357029 hasConcept C73301696 @default.
- W2372357029 hasConceptScore W2372357029C101874905 @default.
- W2372357029 hasConceptScore W2372357029C102993220 @default.
- W2372357029 hasConceptScore W2372357029C110039528 @default.
- W2372357029 hasConceptScore W2372357029C111472728 @default.
- W2372357029 hasConceptScore W2372357029C11413529 @default.
- W2372357029 hasConceptScore W2372357029C118615104 @default.
- W2372357029 hasConceptScore W2372357029C121649496 @default.
- W2372357029 hasConceptScore W2372357029C124952713 @default.
- W2372357029 hasConceptScore W2372357029C137155000 @default.
- W2372357029 hasConceptScore W2372357029C138885662 @default.
- W2372357029 hasConceptScore W2372357029C142362112 @default.
- W2372357029 hasConceptScore W2372357029C150889026 @default.
- W2372357029 hasConceptScore W2372357029C153107464 @default.
- W2372357029 hasConceptScore W2372357029C154945302 @default.
- W2372357029 hasConceptScore W2372357029C16796852 @default.
- W2372357029 hasConceptScore W2372357029C169896238 @default.
- W2372357029 hasConceptScore W2372357029C171482190 @default.
- W2372357029 hasConceptScore W2372357029C178421362 @default.
- W2372357029 hasConceptScore W2372357029C182744844 @default.
- W2372357029 hasConceptScore W2372357029C199343813 @default.
- W2372357029 hasConceptScore W2372357029C203659156 @default.
- W2372357029 hasConceptScore W2372357029C2777686260 @default.
- W2372357029 hasConceptScore W2372357029C28077239 @default.
- W2372357029 hasConceptScore W2372357029C32241873 @default.
- W2372357029 hasConceptScore W2372357029C33203268 @default.
- W2372357029 hasConceptScore W2372357029C33923547 @default.
- W2372357029 hasConceptScore W2372357029C41008148 @default.
- W2372357029 hasConceptScore W2372357029C47884741 @default.
- W2372357029 hasConceptScore W2372357029C558565934 @default.
- W2372357029 hasConceptScore W2372357029C71924100 @default.
- W2372357029 hasConceptScore W2372357029C73301696 @default.
- W2372357029 hasLocation W23723570291 @default.
- W2372357029 hasOpenAccess W2372357029 @default.
- W2372357029 hasPrimaryLocation W23723570291 @default.
- W2372357029 hasRelatedWork W117430941 @default.
- W2372357029 hasRelatedWork W1522675678 @default.
- W2372357029 hasRelatedWork W173246448 @default.
- W2372357029 hasRelatedWork W1967178982 @default.
- W2372357029 hasRelatedWork W1980921829 @default.
- W2372357029 hasRelatedWork W2004192224 @default.
- W2372357029 hasRelatedWork W2026457733 @default.
- W2372357029 hasRelatedWork W2031858211 @default.
- W2372357029 hasRelatedWork W2060306799 @default.
- W2372357029 hasRelatedWork W2085342194 @default.
- W2372357029 hasRelatedWork W2122478249 @default.
- W2372357029 hasRelatedWork W2377886497 @default.
- W2372357029 hasRelatedWork W2584023018 @default.
- W2372357029 hasRelatedWork W2888441412 @default.
- W2372357029 hasRelatedWork W2902828820 @default.
- W2372357029 hasRelatedWork W2908263265 @default.
- W2372357029 hasRelatedWork W2998566453 @default.
- W2372357029 hasRelatedWork W3042462954 @default.
- W2372357029 hasRelatedWork W3076193140 @default.
- W2372357029 hasRelatedWork W396795097 @default.
- W2372357029 isParatext "false" @default.
- W2372357029 isRetracted "false" @default.
- W2372357029 magId "2372357029" @default.