scientific article; zbMATH DE number 5872255

zbMATH Open1226.03060MaRDI QIDQ3086775FDOQ3086775

Authors: Christoph Benzmüller, Michael Kohlhase, Chad E. Brown 

Publication date: 30 March 2011

Title of this publication is not available (Why is that?)

zbMATH Keywords

cut-free sequent calculus\(\xi\)-extensionalityfragment of higher-order logic

Mathematics Subject Classification ID

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

Cited In (5)

• Cut-elimination for quantified conditional logic
• Cut-Elimination for SBL
• Cut elimination for GLS using the terminability of its regress process
• Cut-elimination for \(\omega_{1}\)
• Sufficient conditions for cut elimination with complexity analysis

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 Q3086775)