FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2533162327> ?p ?o ?g. }

• W2533162327 endingPage "47" @default.
• W2533162327 startingPage "27" @default.
• W2533162327 abstract "The epsilon operator is a term-forming operator which replaces quantifiers in ordinary predicate logic. The application of this undervalued formalism has been hampered by the absence of well-behaved proof systems on the one hand, and accessible presentations of its theory on the other. One significant early result for the original axiomatic proof system for the epsilon-calculus is the first epsilon theorem, for which a proof is sketched. The system itself is discussed, also relative to possible semantic interpretations. The problems facing the development of proof-theoretically well-behaved systems are outlined." @default.
• W2533162327 created "2016-10-28" @default.
• W2533162327 creator A5086862307 @default.
• W2533162327 date "2016-12-03" @default.
• W2533162327 modified "2023-09-27" @default.
• W2533162327 title "Semantics and Proof Theory of the Epsilon Calculus" @default.
• W2533162327 cites W1802897460 @default.
• W2533162327 cites W1968760610 @default.
• W2533162327 cites W1968900240 @default.
• W2533162327 cites W2000295225 @default.
• W2533162327 cites W2000643788 @default.
• W2533162327 cites W2009774817 @default.
• W2533162327 cites W2031927644 @default.
• W2533162327 cites W2049353552 @default.
• W2533162327 cites W2058072553 @default.
• W2533162327 cites W2063922067 @default.
• W2533162327 cites W2068775869 @default.
• W2533162327 cites W2078109816 @default.
• W2533162327 cites W2132519377 @default.
• W2533162327 cites W2144153673 @default.
• W2533162327 cites W4240740245 @default.
• W2533162327 cites W84153234 @default.
• W2533162327 doi "https://doi.org/10.1007/978-3-662-54069-5_4" @default.
• W2533162327 hasPublicationYear "2016" @default.
• W2533162327 type Work @default.
• W2533162327 sameAs 2533162327 @default.
• W2533162327 citedByCount "3" @default.
• W2533162327 countsByYear W25331623272019 @default.
• W2533162327 countsByYear W25331623272021 @default.
• W2533162327 countsByYear W25331623272022 @default.
• W2533162327 crossrefType "book-chapter" @default.
• W2533162327 hasAuthorship W2533162327A5086862307 @default.
• W2533162327 hasBestOaLocation W25331623272 @default.
• W2533162327 hasConcept C104317684 @default.
• W2533162327 hasConcept C108710211 @default.
• W2533162327 hasConcept C11413529 @default.
• W2533162327 hasConcept C118615104 @default.
• W2533162327 hasConcept C125773388 @default.
• W2533162327 hasConcept C136119220 @default.
• W2533162327 hasConcept C142362112 @default.
• W2533162327 hasConcept C153349607 @default.
• W2533162327 hasConcept C158448853 @default.
• W2533162327 hasConcept C167729594 @default.
• W2533162327 hasConcept C17020691 @default.
• W2533162327 hasConcept C184337299 @default.
• W2533162327 hasConcept C185592680 @default.
• W2533162327 hasConcept C195653647 @default.
• W2533162327 hasConcept C199343813 @default.
• W2533162327 hasConcept C199360897 @default.
• W2533162327 hasConcept C202444582 @default.
• W2533162327 hasConcept C203265346 @default.
• W2533162327 hasConcept C206880738 @default.
• W2533162327 hasConcept C2318724 @default.
• W2533162327 hasConcept C2524010 @default.
• W2533162327 hasConcept C2777686260 @default.
• W2533162327 hasConcept C33923547 @default.
• W2533162327 hasConcept C41008148 @default.
• W2533162327 hasConcept C55493867 @default.
• W2533162327 hasConcept C558565934 @default.
• W2533162327 hasConcept C62073222 @default.
• W2533162327 hasConcept C65880906 @default.
• W2533162327 hasConcept C71924100 @default.
• W2533162327 hasConcept C73301696 @default.
• W2533162327 hasConcept C86339819 @default.
• W2533162327 hasConceptScore W2533162327C104317684 @default.
• W2533162327 hasConceptScore W2533162327C108710211 @default.
• W2533162327 hasConceptScore W2533162327C11413529 @default.
• W2533162327 hasConceptScore W2533162327C118615104 @default.
• W2533162327 hasConceptScore W2533162327C125773388 @default.
• W2533162327 hasConceptScore W2533162327C136119220 @default.
• W2533162327 hasConceptScore W2533162327C142362112 @default.
• W2533162327 hasConceptScore W2533162327C153349607 @default.
• W2533162327 hasConceptScore W2533162327C158448853 @default.
• W2533162327 hasConceptScore W2533162327C167729594 @default.
• W2533162327 hasConceptScore W2533162327C17020691 @default.
• W2533162327 hasConceptScore W2533162327C184337299 @default.
• W2533162327 hasConceptScore W2533162327C185592680 @default.
• W2533162327 hasConceptScore W2533162327C195653647 @default.
• W2533162327 hasConceptScore W2533162327C199343813 @default.
• W2533162327 hasConceptScore W2533162327C199360897 @default.
• W2533162327 hasConceptScore W2533162327C202444582 @default.
• W2533162327 hasConceptScore W2533162327C203265346 @default.
• W2533162327 hasConceptScore W2533162327C206880738 @default.
• W2533162327 hasConceptScore W2533162327C2318724 @default.
• W2533162327 hasConceptScore W2533162327C2524010 @default.
• W2533162327 hasConceptScore W2533162327C2777686260 @default.
• W2533162327 hasConceptScore W2533162327C33923547 @default.
• W2533162327 hasConceptScore W2533162327C41008148 @default.
• W2533162327 hasConceptScore W2533162327C55493867 @default.
• W2533162327 hasConceptScore W2533162327C558565934 @default.
• W2533162327 hasConceptScore W2533162327C62073222 @default.
• W2533162327 hasConceptScore W2533162327C65880906 @default.
• W2533162327 hasConceptScore W2533162327C71924100 @default.
• W2533162327 hasConceptScore W2533162327C73301696 @default.
• W2533162327 hasConceptScore W2533162327C86339819 @default.
• W2533162327 hasLocation W25331623271 @default.
• W2533162327 hasLocation W25331623272 @default.
• W2533162327 hasOpenAccess W2533162327 @default.

• next