Matches in SemOpenAlex for { <https://semopenalex.org/work/W2060988679> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2060988679 endingPage "607" @default.
- W2060988679 startingPage "568" @default.
- W2060988679 abstract "We prove the decidability of the logic T → of Ticket Entailment. This issue was first raised by Anderson and Belnap within the framework of relevance logic, and is equivalent to the question of the decidability of type inhabitation in simply typed combinatory logic with the partial basis BB′IW . We solve the equivalent problem of type inhabitation for the restriction of simply typed lambda calculus to hereditarily right-maximal terms." @default.
- W2060988679 created "2016-06-24" @default.
- W2060988679 creator A5027374816 @default.
- W2060988679 date "2012-07-09" @default.
- W2060988679 modified "2023-10-09" @default.
- W2060988679 title "Ticket Entailment is decidable" @default.
- W2060988679 cites W1762247992 @default.
- W2060988679 cites W1969075264 @default.
- W2060988679 cites W2009732936 @default.
- W2060988679 cites W2030827886 @default.
- W2060988679 cites W2076508310 @default.
- W2060988679 cites W2088508256 @default.
- W2060988679 cites W2110917011 @default.
- W2060988679 cites W2161429818 @default.
- W2060988679 doi "https://doi.org/10.1017/s0960129512000412" @default.
- W2060988679 hasPublicationYear "2012" @default.
- W2060988679 type Work @default.
- W2060988679 sameAs 2060988679 @default.
- W2060988679 citedByCount "10" @default.
- W2060988679 countsByYear W20609886792012 @default.
- W2060988679 countsByYear W20609886792014 @default.
- W2060988679 countsByYear W20609886792015 @default.
- W2060988679 countsByYear W20609886792016 @default.
- W2060988679 countsByYear W20609886792018 @default.
- W2060988679 countsByYear W20609886792020 @default.
- W2060988679 crossrefType "journal-article" @default.
- W2060988679 hasAuthorship W2060988679A5027374816 @default.
- W2060988679 hasBestOaLocation W20609886792 @default.
- W2060988679 hasConcept C118615104 @default.
- W2060988679 hasConcept C134752490 @default.
- W2060988679 hasConcept C153269930 @default.
- W2060988679 hasConcept C154945302 @default.
- W2060988679 hasConcept C158154518 @default.
- W2060988679 hasConcept C17744445 @default.
- W2060988679 hasConcept C18903297 @default.
- W2060988679 hasConcept C199343813 @default.
- W2060988679 hasConcept C199360897 @default.
- W2060988679 hasConcept C199539241 @default.
- W2060988679 hasConcept C2777299769 @default.
- W2060988679 hasConcept C2777686260 @default.
- W2060988679 hasConcept C33923547 @default.
- W2060988679 hasConcept C41008148 @default.
- W2060988679 hasConcept C71924100 @default.
- W2060988679 hasConcept C86803240 @default.
- W2060988679 hasConceptScore W2060988679C118615104 @default.
- W2060988679 hasConceptScore W2060988679C134752490 @default.
- W2060988679 hasConceptScore W2060988679C153269930 @default.
- W2060988679 hasConceptScore W2060988679C154945302 @default.
- W2060988679 hasConceptScore W2060988679C158154518 @default.
- W2060988679 hasConceptScore W2060988679C17744445 @default.
- W2060988679 hasConceptScore W2060988679C18903297 @default.
- W2060988679 hasConceptScore W2060988679C199343813 @default.
- W2060988679 hasConceptScore W2060988679C199360897 @default.
- W2060988679 hasConceptScore W2060988679C199539241 @default.
- W2060988679 hasConceptScore W2060988679C2777299769 @default.
- W2060988679 hasConceptScore W2060988679C2777686260 @default.
- W2060988679 hasConceptScore W2060988679C33923547 @default.
- W2060988679 hasConceptScore W2060988679C41008148 @default.
- W2060988679 hasConceptScore W2060988679C71924100 @default.
- W2060988679 hasConceptScore W2060988679C86803240 @default.
- W2060988679 hasIssue "3" @default.
- W2060988679 hasLocation W20609886791 @default.
- W2060988679 hasLocation W20609886792 @default.
- W2060988679 hasLocation W20609886793 @default.
- W2060988679 hasLocation W20609886794 @default.
- W2060988679 hasLocation W20609886795 @default.
- W2060988679 hasLocation W20609886796 @default.
- W2060988679 hasLocation W20609886797 @default.
- W2060988679 hasLocation W20609886798 @default.
- W2060988679 hasLocation W20609886799 @default.
- W2060988679 hasOpenAccess W2060988679 @default.
- W2060988679 hasPrimaryLocation W20609886791 @default.
- W2060988679 hasRelatedWork W134144667 @default.
- W2060988679 hasRelatedWork W1481826604 @default.
- W2060988679 hasRelatedWork W1576014289 @default.
- W2060988679 hasRelatedWork W1966737172 @default.
- W2060988679 hasRelatedWork W2331020993 @default.
- W2060988679 hasRelatedWork W2963301870 @default.
- W2060988679 hasRelatedWork W2972379433 @default.
- W2060988679 hasRelatedWork W3132018246 @default.
- W2060988679 hasRelatedWork W4287547801 @default.
- W2060988679 hasRelatedWork W4383764068 @default.
- W2060988679 hasVolume "23" @default.
- W2060988679 isParatext "false" @default.
- W2060988679 isRetracted "false" @default.
- W2060988679 magId "2060988679" @default.
- W2060988679 workType "article" @default.