A Brief History of Natural Deduction

DOI10.1080/014453499298165zbMath1052.03517OpenAlexW2054320265WikidataQ58499872 ScholiaQ58499872MaRDI QIDQ2757973

Francis Jeffry Pelletier

Publication date: 5 December 2001

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/014453499298165

Mathematics Subject Classification ID

Classical first-order logic (03B10) History of mathematical logic and foundations (03-03)

Related Items (19)

Simplifying proofs in Fitch-style natural deduction systems ⋮ Variable declarations in natural deduction ⋮ MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics ⋮ MPTP 0.2: Design, implementation, and initial experiments ⋮ TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS ⋮ Stanisław Jaśkowski and Natural Deduction Systems ⋮ Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss ⋮ General-elimination stability ⋮ Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different ⋮ Normal proofs, cut free derivations and structural rules ⋮ Logics for Two Fragments beyond the Syllogistic Boundary ⋮ Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction ⋮ Simulation of Natural Deduction and Gentzen Sequent Calculus ⋮ Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs ⋮ Prawitz, Proofs, and Meaning ⋮ A LOGIC FOR ‘BECAUSE’ ⋮ Human-centered automated proof search ⋮ The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden ⋮ Presenting and Explaining Mizar

Cites Work

• Untersuchungen über das logische Schliessen. I
• Another variant of natural deduction
• The Stroke Function in Natural Deduction
• Comments on a variant form of natural deduction
• On natural deduction
• 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

This page was built for publication: A Brief History of Natural Deduction