Contraction-elimination for implicational logics
From MaRDI portal
Publication:676308
DOI10.1016/S0168-0072(97)81394-2zbMath0872.03037MaRDI QIDQ676308
Publication date: 6 October 1997
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
intuitionistic logic; classical logic; BCK-logic; contraction rules; Gentzen-type formulations; implicational fragments
03B60: Other nonclassical logic
03F05: Cut-elimination and normal-form theorems
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Investigations into a left-structural right-substructural sequent calculus, Contraction-free Proofs and Finitary Games for Linear Logic
Cites Work