Herbrand deduction search strategies in predicate calculus. II

DOI10.1007/BF00972009zbMath0449.03007OpenAlexW2132139100MaRDI QIDQ1147114

S. H. Smith

Publication date: 1979

Published in: Lithuanian Mathematical Journal (Search for Journal in Brave)

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

zbMATH Keywords

proof theoryHerbrand deduction search strategiesrecursion-theoretic analysisstronger deducibility

Mathematics Subject Classification ID

Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Proof theory and constructive mathematics (03F99)

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Herbrand deduction search strategies in predicate calculus. II