scientific article; zbMATH DE number 6399374
From MaRDI portal
Publication:5173184
zbMATH Open1322.03040MaRDI QIDQ5173184
Publication date: 9 February 2015
Full work available at URL: http://www.filozof.uni.lodz.pl/bulletin/pdf/43_34_2.pdf
Title of this publication is not available (Why is that?)
Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (6)
Maximal and perimaximal contraction ⋮ Air sheet contraction ⋮ Specified meet contraction ⋮ Title not available (Why is that?) ⋮ Lift-contractions ⋮ Lift contractions
Uses Software
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 Q5173184)
