A theorem on generalizations of proofs

DOI10.1007/BF01621467zbMath0721.03038MaRDI QIDQ2640597

Tsuyoshi Yukami

Publication date: 1990

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

Peano arithmeticanalysis of formal proofstransformation of formal proofs

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Structure of proofs (03F07) Complexity of proofs (03F20)

Related Items (1)

Generalizing proofs in monadic languages (with a postscript by Georg Kreisel).

Uses Software

• ALGOL 60

Cites Work

• Unnamed Item
• Unnamed Item
• The number of proof lines and the size of proofs in first order logic
• On the length of proofs in formal systems
• A theorem on the formalized arithmetic with function symbols ' and +
• A note on a formalized arithmetic with function symbols ' and +
• Taking out LK parts from a proof in Peano arithmetic
• THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
• Bounded Algol-Like Languages
• Some Results on the Length of Proofs

This page was built for publication: A theorem on generalizations of proofs