Paul Hertz’s Systems of Propositions As a Proof-Theoretical Conception of Logic

DOI10.1007/978-94-007-7548-0_5zbMath1344.03045OpenAlexW2149285433MaRDI QIDQ5251188

Javier Legris

Publication date: 22 May 2015

Published in: Trends in Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-7548-0_5

zbMATH Keywords

sequent calculusGentzenHertz

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen

This page was built for publication: Paul Hertz’s Systems of Propositions As a Proof-Theoretical Conception of Logic