Matches in SemOpenAlex for { <https://semopenalex.org/work/W52676622> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W52676622 abstract "At the end of the 19th century, 'logic' moved from the discipline of philosophy to that of mathematics. One hundred years later, we have a plethora of formal logics. Looking at the situation form informatics, the mathematical discipline proved only a temporary shelter for `logic'. For there is Domain Theory, a constructive mathematical theory which extends the notion of computability into the continuum and spans the field of all possible deductive systems. Domain Theory describes the space of data-types which computers can ideally compute -- and computation in terms of these types. Domain Theory is constructive but only potentially operational. Here one particular operational model is derived from Domain Theory which consists of `universals', that is, model independent operands and operators. With these universals, Domains (logical models) can be approximated and continuously determined. The universal data-types and rules derived from Domain Theory relate strongly to the first formal logic conceived on philosophical grounds, Aristotelian (categorical) logic. This is no accident. For Aristotle, deduction was type-dependent and he too thought in term of type independent universal `essences'. This paper initiates the next `logical' step `beyond' Domain Theory by reconnecting `formal logic' with its origin." @default.
- W52676622 created "2016-06-24" @default.
- W52676622 creator A5007641069 @default.
- W52676622 date "2010-09-02" @default.
- W52676622 modified "2023-09-26" @default.
- W52676622 title "From Domains Towards a Logic of Universals: A Small Calculus for the Continuous Determination of Worlds" @default.
- W52676622 cites W1592287058 @default.
- W52676622 cites W1649882873 @default.
- W52676622 cites W2344516706 @default.
- W52676622 cites W3183889129 @default.
- W52676622 hasPublicationYear "2010" @default.
- W52676622 type Work @default.
- W52676622 sameAs 52676622 @default.
- W52676622 citedByCount "0" @default.
- W52676622 crossrefType "journal-article" @default.
- W52676622 hasAuthorship W52676622A5007641069 @default.
- W52676622 hasConcept C101874905 @default.
- W52676622 hasConcept C102993220 @default.
- W52676622 hasConcept C108710211 @default.
- W52676622 hasConcept C111472728 @default.
- W52676622 hasConcept C118615104 @default.
- W52676622 hasConcept C124047733 @default.
- W52676622 hasConcept C134306372 @default.
- W52676622 hasConcept C134752490 @default.
- W52676622 hasConcept C138885662 @default.
- W52676622 hasConcept C154945302 @default.
- W52676622 hasConcept C18903297 @default.
- W52676622 hasConcept C19689857 @default.
- W52676622 hasConcept C199343813 @default.
- W52676622 hasConcept C2318724 @default.
- W52676622 hasConcept C2524010 @default.
- W52676622 hasConcept C2777299769 @default.
- W52676622 hasConcept C2777686260 @default.
- W52676622 hasConcept C29585364 @default.
- W52676622 hasConcept C33923547 @default.
- W52676622 hasConcept C36503486 @default.
- W52676622 hasConcept C41008148 @default.
- W52676622 hasConcept C71924100 @default.
- W52676622 hasConcept C74992188 @default.
- W52676622 hasConcept C86803240 @default.
- W52676622 hasConcept C93682546 @default.
- W52676622 hasConceptScore W52676622C101874905 @default.
- W52676622 hasConceptScore W52676622C102993220 @default.
- W52676622 hasConceptScore W52676622C108710211 @default.
- W52676622 hasConceptScore W52676622C111472728 @default.
- W52676622 hasConceptScore W52676622C118615104 @default.
- W52676622 hasConceptScore W52676622C124047733 @default.
- W52676622 hasConceptScore W52676622C134306372 @default.
- W52676622 hasConceptScore W52676622C134752490 @default.
- W52676622 hasConceptScore W52676622C138885662 @default.
- W52676622 hasConceptScore W52676622C154945302 @default.
- W52676622 hasConceptScore W52676622C18903297 @default.
- W52676622 hasConceptScore W52676622C19689857 @default.
- W52676622 hasConceptScore W52676622C199343813 @default.
- W52676622 hasConceptScore W52676622C2318724 @default.
- W52676622 hasConceptScore W52676622C2524010 @default.
- W52676622 hasConceptScore W52676622C2777299769 @default.
- W52676622 hasConceptScore W52676622C2777686260 @default.
- W52676622 hasConceptScore W52676622C29585364 @default.
- W52676622 hasConceptScore W52676622C33923547 @default.
- W52676622 hasConceptScore W52676622C36503486 @default.
- W52676622 hasConceptScore W52676622C41008148 @default.
- W52676622 hasConceptScore W52676622C71924100 @default.
- W52676622 hasConceptScore W52676622C74992188 @default.
- W52676622 hasConceptScore W52676622C86803240 @default.
- W52676622 hasConceptScore W52676622C93682546 @default.
- W52676622 hasLocation W526766221 @default.
- W52676622 hasOpenAccess W52676622 @default.
- W52676622 hasPrimaryLocation W526766221 @default.
- W52676622 hasRelatedWork W137820375 @default.
- W52676622 hasRelatedWork W1503357147 @default.
- W52676622 hasRelatedWork W1577927442 @default.
- W52676622 hasRelatedWork W1786644787 @default.
- W52676622 hasRelatedWork W1857772473 @default.
- W52676622 hasRelatedWork W1872728284 @default.
- W52676622 hasRelatedWork W2005065769 @default.
- W52676622 hasRelatedWork W2007119026 @default.
- W52676622 hasRelatedWork W2009515416 @default.
- W52676622 hasRelatedWork W2093861657 @default.
- W52676622 hasRelatedWork W2109612430 @default.
- W52676622 hasRelatedWork W2134649613 @default.
- W52676622 hasRelatedWork W2150903683 @default.
- W52676622 hasRelatedWork W2177138355 @default.
- W52676622 hasRelatedWork W2411579717 @default.
- W52676622 hasRelatedWork W2581027266 @default.
- W52676622 hasRelatedWork W2951739308 @default.
- W52676622 hasRelatedWork W3004231186 @default.
- W52676622 hasRelatedWork W3082326895 @default.
- W52676622 hasRelatedWork W968398489 @default.
- W52676622 isParatext "false" @default.
- W52676622 isRetracted "false" @default.
- W52676622 magId "52676622" @default.
- W52676622 workType "article" @default.