Ask not what bilateralist intuitionists can do for Cut, but what Cut can do for bilateralist intuitionism

DOI10.1093/ANALYS/ANZ023OpenAlexW2953622685MaRDI QIDQ5883495

Bogdan Dicher

Publication date: 21 March 2023

Published in: Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/analys/anz023

zbMATH Keywords

cutBlok-Jónsson consequence

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: Ask not what bilateralist intuitionists can do for Cut, but what Cut can do for bilateralist intuitionism