scientific article; zbMATH DE number 6767590
From MaRDI portal
Publication:5351952
DOI10.4230/LIPICS.CSL.2015.94zbMATH Open1373.03122MaRDI QIDQ5351952
Matthias Baaz, Christian G. Fermüller
Publication date: 31 August 2017
Title of this publication is not available (Why is that?)
Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20) Complexity of proofs (03F20)
Related Items (4)
Cut-Elimination in the Intuitionistic Many-Valued Logic Based on a Partial Order ⋮ On the elimination of quantifier-free cuts ⋮ Title not available (Why is that?) ⋮ Structural cut elimination. I: Intuitionistic and classical logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5351952)
