Jean van Heijenoort's contributions to proof theory and its history

DOI10.1007/s11787-012-0061-xzbMath1272.03001OpenAlexW1986344372MaRDI QIDQ1942094

Irving H. Anellis

Publication date: 15 March 2013

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.rml/1204834854

zbMATH Keywords

history of logicfalsifiability tree methodmodel-theoretic proof theorytableaux methodstheories of quantificationvan Heijenoort's work

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Other model constructions (03C30)

Cites Work

• The Paris Logic Group (ed.): Logic colloquium '85. Proceedings of the Colloquium held in Orsay, France, July 1985
• Some unpublished papers of Jean van Heijenoort
• Herbrand Award acceptance speech
• Jean van Heijenoort and the Gödel editorial project
• Herbrand's fundamental theorem in the eyes of Jean van Heijenoort
• Logical consequence, semantic and formal
• A proof procedure for quantification theory
• Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae
• Mathematical significance of consistency proofs
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Lewis Carroll's visual logic
• A Fortuitous Year with Leon Henkin
• Who were the American postulate theorists?
• Truth vs. provability – philosophical and historical remarks
• The Syllogism's Final Solution
• False lemmas in Herbrand
• A Machine-Oriented Logic Based on the Resolution Principle
• Analytic natural deduction
• Trees and nest structures
• Finite nest structures and propositional logic
• A survey of proof theory
• Analytic cut
• Uniform Gentzen systems
• Herbrand analyzing functions
• A supplement to Herbrand
• A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY
• On the concepts of completeness and interpretation of formal systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item