Matches in SemOpenAlex for { <https://semopenalex.org/work/W4200020642> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W4200020642 abstract "Abstraction Logic has been introduced in a previous, rather technical article. In this article we take a step back and look at Abstraction Logic from a conceptual point of view. This will make it easier to appreciate the simplicity, elegance, and pragmatism of Abstraction Logic. We will argue that Abstraction Logic is the best logic for serving as a foundation of mathematics." @default.
- W4200020642 created "2021-12-31" @default.
- W4200020642 creator A5048772006 @default.
- W4200020642 date "2021-12-21" @default.
- W4200020642 modified "2023-09-30" @default.
- W4200020642 title "Philosophy of Abstraction Logic" @default.
- W4200020642 doi "https://doi.org/10.47757/pal.1" @default.
- W4200020642 hasPublicationYear "2021" @default.
- W4200020642 type Work @default.
- W4200020642 citedByCount "0" @default.
- W4200020642 crossrefType "report" @default.
- W4200020642 hasAuthorship W4200020642A5048772006 @default.
- W4200020642 hasBestOaLocation W42000206421 @default.
- W4200020642 hasConcept C101874905 @default.
- W4200020642 hasConcept C102993220 @default.
- W4200020642 hasConcept C111472728 @default.
- W4200020642 hasConcept C119599485 @default.
- W4200020642 hasConcept C124047733 @default.
- W4200020642 hasConcept C124304363 @default.
- W4200020642 hasConcept C127413603 @default.
- W4200020642 hasConcept C138885662 @default.
- W4200020642 hasConcept C158573231 @default.
- W4200020642 hasConcept C165801399 @default.
- W4200020642 hasConcept C172385210 @default.
- W4200020642 hasConcept C199360897 @default.
- W4200020642 hasConcept C2776372474 @default.
- W4200020642 hasConcept C2777796570 @default.
- W4200020642 hasConcept C2778698498 @default.
- W4200020642 hasConcept C41008148 @default.
- W4200020642 hasConceptScore W4200020642C101874905 @default.
- W4200020642 hasConceptScore W4200020642C102993220 @default.
- W4200020642 hasConceptScore W4200020642C111472728 @default.
- W4200020642 hasConceptScore W4200020642C119599485 @default.
- W4200020642 hasConceptScore W4200020642C124047733 @default.
- W4200020642 hasConceptScore W4200020642C124304363 @default.
- W4200020642 hasConceptScore W4200020642C127413603 @default.
- W4200020642 hasConceptScore W4200020642C138885662 @default.
- W4200020642 hasConceptScore W4200020642C158573231 @default.
- W4200020642 hasConceptScore W4200020642C165801399 @default.
- W4200020642 hasConceptScore W4200020642C172385210 @default.
- W4200020642 hasConceptScore W4200020642C199360897 @default.
- W4200020642 hasConceptScore W4200020642C2776372474 @default.
- W4200020642 hasConceptScore W4200020642C2777796570 @default.
- W4200020642 hasConceptScore W4200020642C2778698498 @default.
- W4200020642 hasConceptScore W4200020642C41008148 @default.
- W4200020642 hasLocation W42000206421 @default.
- W4200020642 hasOpenAccess W4200020642 @default.
- W4200020642 hasPrimaryLocation W42000206421 @default.
- W4200020642 hasRelatedWork W1547597366 @default.
- W4200020642 hasRelatedWork W1565263828 @default.
- W4200020642 hasRelatedWork W1973250852 @default.
- W4200020642 hasRelatedWork W1999473061 @default.
- W4200020642 hasRelatedWork W3024452335 @default.
- W4200020642 hasRelatedWork W3160136729 @default.
- W4200020642 hasRelatedWork W4200020642 @default.
- W4200020642 hasRelatedWork W4200095141 @default.
- W4200020642 hasRelatedWork W1866499192 @default.
- W4200020642 hasRelatedWork W2305096635 @default.
- W4200020642 isParatext "false" @default.
- W4200020642 isRetracted "false" @default.
- W4200020642 workType "report" @default.