Semi-Formal Calculi and Their Applications

DOI10.1007/978-3-319-10103-3_13zbMath1378.03037OpenAlexW2346140019MaRDI QIDQ5361254

Wolfram Pohlers

Publication date: 27 September 2017

Published in: Gentzen's Centenary (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-10103-3_13

zbMATH Keywords

proof systemsemi-formal systemheigths of proof treesinfinitary inference rules

Mathematics Subject Classification ID

Second- and higher-order model theory (03C85) Proof theory in general (including proof-theoretic semantics) (03F03) Other infinitary logic (03C75) Complexity of proofs (03F20) Basic properties of first-order languages and structures (03C07)

Related Items (2)

On the Performance of Axiom Systems ⋮ The Limits of Predicativity Revisited

This page was built for publication: Semi-Formal Calculi and Their Applications