Two measures for proving Gentzen's Hauptsatz without mix

DOI10.1007/S00153-002-0155-XzbMath1032.03047OpenAlexW262380895MaRDI QIDQ1407599

Mirjana Borisavljević

Publication date: 16 September 2003

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-002-0155-x

zbMATH Keywords

cut rulepredicate logicproof of Gentzen's Hauptsatz

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (2)

A connection between cut elimination and normalization ⋮ The elimination of maximum cuts in linear logic and BCK logic

This page was built for publication: Two measures for proving Gentzen's Hauptsatz without mix