Note on the Benefit of Proof Representations by Name

DOI10.1007/978-3-030-20447-1_4zbMath1469.03157OpenAlexW2981852497MaRDI QIDQ3305625

Matthias Baaz

Publication date: 10 August 2020

Published in: Mathesis Universalis, Computability and Proof (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-20447-1_4

Mathematics Subject Classification ID

Structure of proofs (03F07) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites Work

• Generalizing proofs in monadic languages (with a postscript by Georg Kreisel).
• The number of proof lines and the size of proofs in first order logic
• Untersuchungen über das logische Schliessen. I
• UNSOUND INFERENCES MAKE PROOFS SHORTER

This page was built for publication: Note on the Benefit of Proof Representations by Name