Publication:2843910
From MaRDI portal
zbMath1270.03119MaRDI QIDQ2843910
Publication date: 27 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104810041
03B35: Mechanization of proofs and logical operations
03F05: Cut-elimination and normal-form theorems
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
Some general results about proof normalization, Hypersequent and display calculi -- a unified perspective
Uses Software