Dicher, Bogdan2020-09-302021-01-012019Bogdan Dicher, Ask not what bilateralist intuitionists can do for Cut, but what Cut can do for bilateralist intuitionism, Analysis, Volume 80, Issue 1, January 2020, Pages 30–40, https://doi.org/10.1093/analys/anz0230003-2638http://hdl.handle.net/10451/44462On a bilateralist reading, sequents are interpreted as statements to the effect that, given the assertion of the antecedent it is incoherent to deny the succe- dent. This interpretation goes against its own ecumenical ambitions, endow- ing 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.engBilateralismIntuitionismMetainferencesCutBlok–Jonsson consequenceLogicjournal article10.1093/analys/anz0231467-8284