Growth of length of sequential derivation transformed into natural one
From MaRDI portal
Publication:1168320
DOI10.1007/BF01629448zbMath0493.03033OpenAlexW2061932056MaRDI QIDQ1168320
Publication date: 1982
Published in: Journal of Soviet Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01629448
fragment of intuitionistic propositional calculustransformation of Gentzen's L-derivation into natural deductionupper bound for proof length
Cut-elimination and normal-form theorems (03F05) Intuitionistic mathematics (03F55) Complexity of proofs (03F20)
Cites Work
This page was built for publication: Growth of length of sequential derivation transformed into natural one