Matches in SemOpenAlex for { <https://semopenalex.org/work/W2901339989> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2901339989 endingPage "62" @default.
- W2901339989 startingPage "48" @default.
- W2901339989 abstract "Classical higher-order logic, when utilized as a meta-logic in which various other (classical and non-classical) logics can be shallowly embedded, is suitable as a foundation for the development of a universal logical reasoning engine. Such an engine may be employed, as already envisioned by Leibniz, to support the rigorous formalisation and deep logical analysis of rational arguments on the computer. A respective universal logical reasoning framework is described in this article and a range of successful first applications in philosophy, artificial intelligence and mathematics are surveyed." @default.
- W2901339989 created "2018-11-29" @default.
- W2901339989 creator A5055110324 @default.
- W2901339989 date "2019-03-01" @default.
- W2901339989 modified "2023-10-17" @default.
- W2901339989 title "Universal (meta-)logical reasoning: Recent successes" @default.
- W2901339989 cites W1510921019 @default.
- W2901339989 cites W1807678626 @default.
- W2901339989 cites W1909465604 @default.
- W2901339989 cites W1978629563 @default.
- W2901339989 cites W1986279051 @default.
- W2901339989 cites W1989156455 @default.
- W2901339989 cites W1991449244 @default.
- W2901339989 cites W1996404651 @default.
- W2901339989 cites W2008443647 @default.
- W2901339989 cites W2021219068 @default.
- W2901339989 cites W2022589543 @default.
- W2901339989 cites W2023816403 @default.
- W2901339989 cites W2032030317 @default.
- W2901339989 cites W2044081892 @default.
- W2901339989 cites W2056135689 @default.
- W2901339989 cites W2061230271 @default.
- W2901339989 cites W2065024328 @default.
- W2901339989 cites W2068880842 @default.
- W2901339989 cites W2072291277 @default.
- W2901339989 cites W2079255996 @default.
- W2901339989 cites W2087025946 @default.
- W2901339989 cites W2088189323 @default.
- W2901339989 cites W2090076725 @default.
- W2901339989 cites W2138366464 @default.
- W2901339989 cites W2141290989 @default.
- W2901339989 cites W2216530300 @default.
- W2901339989 cites W2431262575 @default.
- W2901339989 cites W2589185918 @default.
- W2901339989 cites W2950911791 @default.
- W2901339989 cites W4213277014 @default.
- W2901339989 doi "https://doi.org/10.1016/j.scico.2018.10.008" @default.
- W2901339989 hasPublicationYear "2019" @default.
- W2901339989 type Work @default.
- W2901339989 sameAs 2901339989 @default.
- W2901339989 citedByCount "40" @default.
- W2901339989 countsByYear W29013399892018 @default.
- W2901339989 countsByYear W29013399892019 @default.
- W2901339989 countsByYear W29013399892020 @default.
- W2901339989 countsByYear W29013399892021 @default.
- W2901339989 countsByYear W29013399892022 @default.
- W2901339989 countsByYear W29013399892023 @default.
- W2901339989 crossrefType "journal-article" @default.
- W2901339989 hasAuthorship W2901339989A5055110324 @default.
- W2901339989 hasBestOaLocation W29013399891 @default.
- W2901339989 hasConcept C41008148 @default.
- W2901339989 hasConceptScore W2901339989C41008148 @default.
- W2901339989 hasFunder F4320320879 @default.
- W2901339989 hasFunder F4320320882 @default.
- W2901339989 hasLocation W29013399891 @default.
- W2901339989 hasLocation W29013399892 @default.
- W2901339989 hasOpenAccess W2901339989 @default.
- W2901339989 hasPrimaryLocation W29013399891 @default.
- W2901339989 hasRelatedWork W1596801655 @default.
- W2901339989 hasRelatedWork W2130043461 @default.
- W2901339989 hasRelatedWork W2350741829 @default.
- W2901339989 hasRelatedWork W2358668433 @default.
- W2901339989 hasRelatedWork W2376932109 @default.
- W2901339989 hasRelatedWork W2382290278 @default.
- W2901339989 hasRelatedWork W2390279801 @default.
- W2901339989 hasRelatedWork W2748952813 @default.
- W2901339989 hasRelatedWork W2899084033 @default.
- W2901339989 hasRelatedWork W2530322880 @default.
- W2901339989 hasVolume "172" @default.
- W2901339989 isParatext "false" @default.
- W2901339989 isRetracted "false" @default.
- W2901339989 magId "2901339989" @default.
- W2901339989 workType "article" @default.