Matches in SemOpenAlex for { <https://semopenalex.org/work/W2953622685> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2953622685 abstract "On a bilateralist reading, sequents are interpreted as statements to the effect that, given the assertion of the antecedent it is incoherent to deny the succedent. This interpretation goes against its own ecumenical ambitions, endowing Cut with a meaning very close to that of tertium non datur and thus rendering it intuitionistically unpalatable. This paper explores a top-down route for arguing that, even intuitionistically, a prohibition to deny is as strong as a licence to assert." @default.
- W2953622685 created "2019-07-12" @default.
- W2953622685 creator A5018613468 @default.
- W2953622685 date "2019-06-26" @default.
- W2953622685 modified "2023-10-02" @default.
- W2953622685 title "Ask not what bilateralist intuitionists can do for Cut, but what Cut can do for bilateralist intuitionism" @default.
- W2953622685 cites W1592256786 @default.
- W2953622685 cites W1999598455 @default.
- W2953622685 cites W2025774031 @default.
- W2953622685 cites W2037127035 @default.
- W2953622685 cites W2039977878 @default.
- W2953622685 cites W2052538252 @default.
- W2953622685 cites W2133106305 @default.
- W2953622685 cites W2178257282 @default.
- W2953622685 cites W2897847887 @default.
- W2953622685 cites W3187892551 @default.
- W2953622685 cites W4206603249 @default.
- W2953622685 cites W6060947 @default.
- W2953622685 doi "https://doi.org/10.1093/analys/anz023" @default.
- W2953622685 hasPublicationYear "2019" @default.
- W2953622685 type Work @default.
- W2953622685 sameAs 2953622685 @default.
- W2953622685 citedByCount "0" @default.
- W2953622685 crossrefType "journal-article" @default.
- W2953622685 hasAuthorship W2953622685A5018613468 @default.
- W2953622685 hasBestOaLocation W29536226852 @default.
- W2953622685 hasConcept C111472728 @default.
- W2953622685 hasConcept C136264566 @default.
- W2953622685 hasConcept C138885662 @default.
- W2953622685 hasConcept C153107464 @default.
- W2953622685 hasConcept C15744967 @default.
- W2953622685 hasConcept C162324750 @default.
- W2953622685 hasConcept C199360897 @default.
- W2953622685 hasConcept C2780876879 @default.
- W2953622685 hasConcept C2781256819 @default.
- W2953622685 hasConcept C40422974 @default.
- W2953622685 hasConcept C41008148 @default.
- W2953622685 hasConcept C77805123 @default.
- W2953622685 hasConcept C90329073 @default.
- W2953622685 hasConceptScore W2953622685C111472728 @default.
- W2953622685 hasConceptScore W2953622685C136264566 @default.
- W2953622685 hasConceptScore W2953622685C138885662 @default.
- W2953622685 hasConceptScore W2953622685C153107464 @default.
- W2953622685 hasConceptScore W2953622685C15744967 @default.
- W2953622685 hasConceptScore W2953622685C162324750 @default.
- W2953622685 hasConceptScore W2953622685C199360897 @default.
- W2953622685 hasConceptScore W2953622685C2780876879 @default.
- W2953622685 hasConceptScore W2953622685C2781256819 @default.
- W2953622685 hasConceptScore W2953622685C40422974 @default.
- W2953622685 hasConceptScore W2953622685C41008148 @default.
- W2953622685 hasConceptScore W2953622685C77805123 @default.
- W2953622685 hasConceptScore W2953622685C90329073 @default.
- W2953622685 hasLocation W29536226851 @default.
- W2953622685 hasLocation W29536226852 @default.
- W2953622685 hasOpenAccess W2953622685 @default.
- W2953622685 hasPrimaryLocation W29536226851 @default.
- W2953622685 hasRelatedWork W1945624162 @default.
- W2953622685 hasRelatedWork W2078944143 @default.
- W2953622685 hasRelatedWork W2129915700 @default.
- W2953622685 hasRelatedWork W2168917849 @default.
- W2953622685 hasRelatedWork W2480864650 @default.
- W2953622685 hasRelatedWork W2898331930 @default.
- W2953622685 hasRelatedWork W2903540832 @default.
- W2953622685 hasRelatedWork W3177475825 @default.
- W2953622685 hasRelatedWork W4283159937 @default.
- W2953622685 hasRelatedWork W2479294941 @default.
- W2953622685 isParatext "false" @default.
- W2953622685 isRetracted "false" @default.
- W2953622685 magId "2953622685" @default.
- W2953622685 workType "article" @default.