Matches in SemOpenAlex for { <https://semopenalex.org/work/W4285428802> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W4285428802 abstract "Abstraction logic is a new logic, serving as a foundation of mathematics. It combines features of both predicate logic and higher-order logic: abstraction logic can be viewed both as higher-order logic minus static types as well as predicate logic plus operators and variable binding. We argue that abstraction logic is the best foundational logic possible because it maximises both simplicity and practical expressivity. This argument is supported by the observation that abstraction logic has simpler terms and a simpler notion of proof than all other general logics. At the same time, abstraction logic can formalise both intuitionistic and classical abstraction logic, and is sound and complete for these logics and all other logics extending deduction logic with equality." @default.
- W4285428802 created "2022-07-15" @default.
- W4285428802 creator A5048772006 @default.
- W4285428802 date "2022-07-12" @default.
- W4285428802 modified "2023-09-25" @default.
- W4285428802 title "Abstraction Logic: A New Foundation for (Computer) Mathematics" @default.
- W4285428802 doi "https://doi.org/10.48550/arxiv.2207.05610" @default.
- W4285428802 hasPublicationYear "2022" @default.
- W4285428802 type Work @default.
- W4285428802 citedByCount "0" @default.
- W4285428802 crossrefType "posted-content" @default.
- W4285428802 hasAuthorship W4285428802A5048772006 @default.
- W4285428802 hasBestOaLocation W42854288021 @default.
- W4285428802 hasConcept C101874905 @default.
- W4285428802 hasConcept C102993220 @default.
- W4285428802 hasConcept C110039528 @default.
- W4285428802 hasConcept C110251889 @default.
- W4285428802 hasConcept C111472728 @default.
- W4285428802 hasConcept C121332964 @default.
- W4285428802 hasConcept C124047733 @default.
- W4285428802 hasConcept C124304363 @default.
- W4285428802 hasConcept C128838566 @default.
- W4285428802 hasConcept C138885662 @default.
- W4285428802 hasConcept C144760519 @default.
- W4285428802 hasConcept C150889026 @default.
- W4285428802 hasConcept C165801399 @default.
- W4285428802 hasConcept C169896238 @default.
- W4285428802 hasConcept C172385210 @default.
- W4285428802 hasConcept C19689857 @default.
- W4285428802 hasConcept C199360897 @default.
- W4285428802 hasConcept C203659156 @default.
- W4285428802 hasConcept C2039508 @default.
- W4285428802 hasConcept C2777796570 @default.
- W4285428802 hasConcept C2779907942 @default.
- W4285428802 hasConcept C33203268 @default.
- W4285428802 hasConcept C33923547 @default.
- W4285428802 hasConcept C3845977 @default.
- W4285428802 hasConcept C41008148 @default.
- W4285428802 hasConcept C62520636 @default.
- W4285428802 hasConcept C73314972 @default.
- W4285428802 hasConcept C80444323 @default.
- W4285428802 hasConceptScore W4285428802C101874905 @default.
- W4285428802 hasConceptScore W4285428802C102993220 @default.
- W4285428802 hasConceptScore W4285428802C110039528 @default.
- W4285428802 hasConceptScore W4285428802C110251889 @default.
- W4285428802 hasConceptScore W4285428802C111472728 @default.
- W4285428802 hasConceptScore W4285428802C121332964 @default.
- W4285428802 hasConceptScore W4285428802C124047733 @default.
- W4285428802 hasConceptScore W4285428802C124304363 @default.
- W4285428802 hasConceptScore W4285428802C128838566 @default.
- W4285428802 hasConceptScore W4285428802C138885662 @default.
- W4285428802 hasConceptScore W4285428802C144760519 @default.
- W4285428802 hasConceptScore W4285428802C150889026 @default.
- W4285428802 hasConceptScore W4285428802C165801399 @default.
- W4285428802 hasConceptScore W4285428802C169896238 @default.
- W4285428802 hasConceptScore W4285428802C172385210 @default.
- W4285428802 hasConceptScore W4285428802C19689857 @default.
- W4285428802 hasConceptScore W4285428802C199360897 @default.
- W4285428802 hasConceptScore W4285428802C203659156 @default.
- W4285428802 hasConceptScore W4285428802C2039508 @default.
- W4285428802 hasConceptScore W4285428802C2777796570 @default.
- W4285428802 hasConceptScore W4285428802C2779907942 @default.
- W4285428802 hasConceptScore W4285428802C33203268 @default.
- W4285428802 hasConceptScore W4285428802C33923547 @default.
- W4285428802 hasConceptScore W4285428802C3845977 @default.
- W4285428802 hasConceptScore W4285428802C41008148 @default.
- W4285428802 hasConceptScore W4285428802C62520636 @default.
- W4285428802 hasConceptScore W4285428802C73314972 @default.
- W4285428802 hasConceptScore W4285428802C80444323 @default.
- W4285428802 hasLocation W42854288021 @default.
- W4285428802 hasOpenAccess W4285428802 @default.
- W4285428802 hasPrimaryLocation W42854288021 @default.
- W4285428802 hasRelatedWork W11378686 @default.
- W4285428802 hasRelatedWork W1485474850 @default.
- W4285428802 hasRelatedWork W1540220550 @default.
- W4285428802 hasRelatedWork W1652051049 @default.
- W4285428802 hasRelatedWork W1985274317 @default.
- W4285428802 hasRelatedWork W2037314108 @default.
- W4285428802 hasRelatedWork W2110141919 @default.
- W4285428802 hasRelatedWork W2268189978 @default.
- W4285428802 hasRelatedWork W3013668771 @default.
- W4285428802 hasRelatedWork W362162902 @default.
- W4285428802 isParatext "false" @default.
- W4285428802 isRetracted "false" @default.
- W4285428802 workType "article" @default.