Matches in SemOpenAlex for { <https://semopenalex.org/work/W1880335462> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1880335462 endingPage "300" @default.
- W1880335462 startingPage "283" @default.
- W1880335462 abstract "The purpose of this paper is to describe a “grand logic”, that is, a system of higher order logic capable of use as a general purpose foundation for mathematics. This logic has developed as the logic of a theorem proving system which has had a number of names in its career (EFTTP, Mark2, and currently Watson), and the suitability of this logic for computer-assisted formal proof is an aspect which will be considered, though not thoroughly. A distinguishing feature of this system is its relationship to Quine’s set theory NF and related untyped λ-calculi studied by the author.KeywordsFree VariablePropositional LogicVariable BindingEquational LogicCase ExpressionThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1880335462 created "2016-06-24" @default.
- W1880335462 creator A5077035801 @default.
- W1880335462 date "2000-01-01" @default.
- W1880335462 modified "2023-09-23" @default.
- W1880335462 title "A Strong and Mechanizable Grand Logic" @default.
- W1880335462 cites W1996404651 @default.
- W1880335462 cites W1998916724 @default.
- W1880335462 cites W2109703800 @default.
- W1880335462 cites W2241921554 @default.
- W1880335462 cites W4241164520 @default.
- W1880335462 cites W4246852004 @default.
- W1880335462 doi "https://doi.org/10.1007/3-540-44659-1_18" @default.
- W1880335462 hasPublicationYear "2000" @default.
- W1880335462 type Work @default.
- W1880335462 sameAs 1880335462 @default.
- W1880335462 citedByCount "1" @default.
- W1880335462 crossrefType "book-chapter" @default.
- W1880335462 hasAuthorship W1880335462A5077035801 @default.
- W1880335462 hasConcept C100481476 @default.
- W1880335462 hasConcept C101874905 @default.
- W1880335462 hasConcept C102993220 @default.
- W1880335462 hasConcept C108710211 @default.
- W1880335462 hasConcept C124047733 @default.
- W1880335462 hasConcept C138885662 @default.
- W1880335462 hasConcept C144791301 @default.
- W1880335462 hasConcept C153046414 @default.
- W1880335462 hasConcept C169896238 @default.
- W1880335462 hasConcept C177264268 @default.
- W1880335462 hasConcept C199343813 @default.
- W1880335462 hasConcept C199360897 @default.
- W1880335462 hasConcept C206880738 @default.
- W1880335462 hasConcept C2318724 @default.
- W1880335462 hasConcept C2524010 @default.
- W1880335462 hasConcept C2776401178 @default.
- W1880335462 hasConcept C2777686260 @default.
- W1880335462 hasConcept C33923547 @default.
- W1880335462 hasConcept C41008148 @default.
- W1880335462 hasConcept C41895202 @default.
- W1880335462 hasConcept C71924100 @default.
- W1880335462 hasConceptScore W1880335462C100481476 @default.
- W1880335462 hasConceptScore W1880335462C101874905 @default.
- W1880335462 hasConceptScore W1880335462C102993220 @default.
- W1880335462 hasConceptScore W1880335462C108710211 @default.
- W1880335462 hasConceptScore W1880335462C124047733 @default.
- W1880335462 hasConceptScore W1880335462C138885662 @default.
- W1880335462 hasConceptScore W1880335462C144791301 @default.
- W1880335462 hasConceptScore W1880335462C153046414 @default.
- W1880335462 hasConceptScore W1880335462C169896238 @default.
- W1880335462 hasConceptScore W1880335462C177264268 @default.
- W1880335462 hasConceptScore W1880335462C199343813 @default.
- W1880335462 hasConceptScore W1880335462C199360897 @default.
- W1880335462 hasConceptScore W1880335462C206880738 @default.
- W1880335462 hasConceptScore W1880335462C2318724 @default.
- W1880335462 hasConceptScore W1880335462C2524010 @default.
- W1880335462 hasConceptScore W1880335462C2776401178 @default.
- W1880335462 hasConceptScore W1880335462C2777686260 @default.
- W1880335462 hasConceptScore W1880335462C33923547 @default.
- W1880335462 hasConceptScore W1880335462C41008148 @default.
- W1880335462 hasConceptScore W1880335462C41895202 @default.
- W1880335462 hasConceptScore W1880335462C71924100 @default.
- W1880335462 hasLocation W18803354621 @default.
- W1880335462 hasOpenAccess W1880335462 @default.
- W1880335462 hasPrimaryLocation W18803354621 @default.
- W1880335462 hasRelatedWork W1589830330 @default.
- W1880335462 hasRelatedWork W1592323141 @default.
- W1880335462 hasRelatedWork W1607115167 @default.
- W1880335462 hasRelatedWork W1770974247 @default.
- W1880335462 hasRelatedWork W1968811614 @default.
- W1880335462 hasRelatedWork W1981961379 @default.
- W1880335462 hasRelatedWork W2017418014 @default.
- W1880335462 hasRelatedWork W2055902822 @default.
- W1880335462 hasRelatedWork W2084797476 @default.
- W1880335462 hasRelatedWork W2129605919 @default.
- W1880335462 hasRelatedWork W2134699386 @default.
- W1880335462 hasRelatedWork W2153079347 @default.
- W1880335462 hasRelatedWork W2155359800 @default.
- W1880335462 hasRelatedWork W2158199728 @default.
- W1880335462 hasRelatedWork W3098537093 @default.
- W1880335462 hasRelatedWork W59292170 @default.
- W1880335462 hasRelatedWork W597057215 @default.
- W1880335462 hasRelatedWork W1560898921 @default.
- W1880335462 hasRelatedWork W2461248346 @default.
- W1880335462 hasRelatedWork W2588756959 @default.
- W1880335462 isParatext "false" @default.
- W1880335462 isRetracted "false" @default.
- W1880335462 magId "1880335462" @default.
- W1880335462 workType "book-chapter" @default.