Cut-Elimination for SBL

DOI10.1007/978-3-030-49424-7_15OpenAlexW2963822783MaRDI QIDQ5013907

Toshiyasu Arai

Publication date: 3 December 2021

Published in: The Legacy of Kurt Schütte (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1606.04194

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites Work

• On the fundamental conjecture of \(GLC\). V
• Proof theory. 2nd ed
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Lattice-valued representation of the cut-elimination theorem
• Proof theory for theories of ordinals. I: Recursively Mahlo ordinals
• Ordinal diagrams for recursively Mahlo universes
• On the fundamental conjecture of GLC, VI
• Syntactical and semantical properties of simple type theory
• A well-ordering proof for Feferman's theoryT 0
• A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic
• Explaining the Gentzen-Takeuti reduction steps: A second-order system
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Cut-Elimination for SBL