Contraction-elimination for implicational logics

DOI10.1016/S0168-0072(97)81394-2zbMath0872.03037OpenAlexW2071338206MaRDI QIDQ676308

Ryo Kashima

Publication date: 6 October 1997

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0168-0072(97)81394-2

zbMATH Keywords

intuitionistic logicclassical logicBCK-logiccontraction rulesGentzen-type formulationsimplicational fragments

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

Contraction-free Proofs and Finitary Games for Linear Logic ⋮ Investigations into a left-structural right-substructural sequent calculus

Cites Work

• Proof theory. 2nd ed
• Logics without the contraction rule
• Über Tautologien, in Welchen Keine Variable Mehr Als Zweimal Vorkommt

This page was built for publication: Contraction-elimination for implicational logics