On Hilbert's axiomatics of propositional logic

DOI10.1162/POSC_A_00121MaRDI QIDQ5169377zbMATH OpenOpenAlexFDO

Authors V. Michele Abrusci

Publication date 22 July 2014

Published in Perspectives on Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1162/posc_a_00121

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Classical propositional logic (03B05) Structure of proofs (03F07)

Recommendations

• Correspondences between gentzen and hilbert systems
• Gentzen-like systems for partial propositional calculi. I. II
• Hilbert's logic. From axiomatics to proof theory
• Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen
• scientific article; zbMATH DE number 1264623

Cites work

• Linear logic
• Untersuchungen über das logische Schliessen. II

Cited in

(6)

• Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen
• Correspondences between gentzen and hilbert systems
• scientific article; zbMATH DE number 3961576 (Why is no real title available?)
• scientific article; zbMATH DE number 727992 (Why is no real title available?)
• Paul Hertz’s Systems of Propositions As a Proof-Theoretical Conception of Logic
• A proof system for classical logic

This page was built for publication: On Hilbert's axiomatics of propositional logic

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