Two Restrictions on Contraction

DOI10.1093/JIGPAL/11.5.525MaRDI QIDQ4812252zbMATH OpenOpenAlexFDO

Authors Kai Brünnler

Publication date 7 September 2004

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/11.5.525

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Recommendations

• scientific article; zbMATH DE number 3944583
• Restriction by noncontraction
• scientific article; zbMATH DE number 1486692
• scientific article; zbMATH DE number 978341
• On Strict Contractions
• An extension of the contraction principle
• scientific article; zbMATH DE number 1264718
• Contractions and expansion
• scientific article; zbMATH DE number 2234940
• The contraction principle in extended context

Cited in

(2)

• Specified meet contraction
• scientific article; zbMATH DE number 978341 (Why is no real title available?)

This page was built for publication: Two Restrictions on Contraction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4812252)