A natural proof system for Herbrand's theorem

From MaRDI portal

Publication:1709711

Jump to:navigation, search

DOI10.1007/978-3-319-72056-2_18zbMath1503.03045OpenAlexW2768593493MaRDI QIDQ1709711

Benjamin Ralph

Publication date: 6 April 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-72056-2_18

zbMATH Keywords

first-order logic Herbrand's theorem structural proof theory deep inference expansion proofs

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (1)

On induction principles for partial orders

This page was built for publication: A natural proof system for Herbrand's theorem

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1709711&oldid=14036778"