Cut-elimination for SBL

DOI10.1007/978-3-030-49424-7_15arXiv1606.04194MaRDI QIDQ6274590

Toshiyasu Arai

Publication date: 13 June 2016

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Second- and higher-order arithmetic and fragments (03F35)

This page was built for publication: Cut-elimination for SBL