Normalization Proof for Derivations in PA after P. Cohen

DOI10.1007/978-3-030-49424-7_17OpenAlexW3048877297MaRDI QIDQ5013909

Grigori Mints

Publication date: 3 December 2021

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

Full work available at URL: https://doi.org/10.1007/978-3-030-49424-7_17

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Proof theory. 2nd ed
• A normal form for logical derivations implying one for arithmetic derivations

This page was built for publication: Normalization Proof for Derivations in PA after P. Cohen