Herbrand strategies and the greater deducibility relation

DOI10.1007/BF01404105zbMath0449.03006OpenAlexW2081883566MaRDI QIDQ1147113

S. A. Norgela, S. Yu. Maslov

Publication date: 1981

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

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

zbMATH Keywords

proof theoryHerbrand strategiesstronger deducibility

Mathematics Subject Classification ID

Classical first-order logic (03B10) Proof theory and constructive mathematics (03F99)

Cites Work

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

This page was built for publication: Herbrand strategies and the greater deducibility relation