Cut-type rules for calculi of general type

DOI10.1007/BF01091548zbMath0404.03042OpenAlexW1975047372MaRDI QIDQ1256457

S. A. Norgela, S. Yu. Maslov

Publication date: 1977

Published in: Journal of Soviet Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01091548

zbMATH Keywords

Proof TheoryCut-Type RuleLogical InterferencePost Canonical Calculus

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99)

Cites Work

• Unnamed Item
• Recursive unsolvability of Post's problem of Tag und other topics in theory of Turing machines
• CALCULUSES AND FORMAL SYSTEMS
• Formal Reductions of the General Combinatorial Decision Problem

This page was built for publication: Cut-type rules for calculi of general type