Cut-elimination and interpolation for \(\Omega\)-logic

DOI10.1007/BF01620764zbMath0663.03046OpenAlexW2037314108MaRDI QIDQ1114684

Jacqueline Vauzeilles

Publication date: 1988

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01620764

zbMATH Keywords

category of well-founded ordersGirard's \(\Omega\)-logic

Mathematics Subject Classification ID

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

Cites Work

• Functorial bounds for cut elimination inL βω . I
• Unnamed Item

This page was built for publication: Cut-elimination and interpolation for \(\Omega\)-logic