On Herbrand's theorem

DOI10.1007/3-540-60178-3_85MaRDI QIDQ6064282zbMATH OpenOpenAlexFDO

Authors Samuel R. Buss

Publication date 12 December 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-60178-3_85

zbMATH Keywords

completeness theoremexistential quantifierproof systemproof theorysequent calculus

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• scientific article; zbMATH DE number 3914292
• scientific article; zbMATH DE number 4154443
• Herbrand's fundamental theorem in the eyes of Jean van Heijenoort
• scientific article; zbMATH DE number 1418446
• Herbrand's Theorem for Nonstandard Inference Operations

Cites work

• A Machine-Oriented Logic Based on the Resolution Principle
• A supplement to Herbrand
• Bounded arithmetic and the polynomial hierarchy
• False lemmas in Herbrand
• Herbrand analyzing functions
• scientific article; zbMATH DE number 221855 (Why is no real title available?)
• scientific article; zbMATH DE number 3309179 (Why is no real title available?)
• scientific article; zbMATH DE number 3349763 (Why is no real title available?)
• Linear unification
• Notes on polynomially bounded arithmetic
• On the Interpretation of Non-Finitist Proofs--Part I
• On the interpretation of non-finitist proofs–Part II
• Proof theory. 2nd ed
• Relating the bounded arithmetic and polynomial time hierarchies

Cited in

(13)

• Herbrand's fundamental theorem in the eyes of Jean van Heijenoort
• scientific article; zbMATH DE number 4198244 (Why is no real title available?)
• On natural deduction for Herbrand constructive logics. III: The strange case of the intuitionistic logic of constant domains
• scientific article; zbMATH DE number 4154443 (Why is no real title available?)
• scientific article; zbMATH DE number 94591 (Why is no real title available?)
• scientific article; zbMATH DE number 763486 (Why is no real title available?)
• On the Herbrand content of LK
• The true concurrency of Herbrand's theorem
• Compressibility of Finite Languages by Grammars
• How to Automatise Proofs of Operator Statements: Moore–Penrose Inverse; A Case Study
• On natural deduction for Herbrand constructive logics. II: Curry-Howard correspondence for Markov's principle in first-order logic and arithmetic
• Universal truth of operator statements via ideal membership
• On a theorem of Hermite and Hurwitz

This page was built for publication: On Herbrand's theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6064282)