A Brief History of Natural Deduction
From MaRDI portal
Publication:2757973
DOI10.1080/014453499298165zbMath1052.03517OpenAlexW2054320265WikidataQ58499872 ScholiaQ58499872MaRDI QIDQ2757973
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
Related Items
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
