Forty Years of “Unnatural‘ Natural Deduction and Quantification: A History of First-Order Systems of Natural Deduction from Gentzen, to Copi

Modern Logic 2:113 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,458

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Copi Irving M.. Another variant of natural deduction.Paul Bernays - 1957 - Journal of Symbolic Logic 22 (3):298-299.
A Simulation of Natural Deduction and Gentzen Sequent Calculus.Daniil Kozhemiachenko - 2018 - Logic and Logical Philosophy 27 (1):67-84.
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.
Natural Deduction.Andrzej Indrzejczak - 2015
From Axiomatic Logic to Natural Deduction.Jan von Plato - 2014 - Studia Logica 102 (6):1167-1184.
Teaching the PARC System of Natural Deduction.Daryl Close - 2015 - American Association of Philosophy Teachers Studies in Pedagogy 1:201-218.
A note on the proof theory the λII-calculus.David J. Pym - 1995 - Studia Logica 54 (2):199 - 230.
Natural Deduction: A Proof-Theoretical Study. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):596-596.
Translations Between Gentzen–Prawitz and Jaśkowski–Fitch Natural Deduction Proofs.Shawn Standefer - 2019 - Studia Logica 107 (6):1103-1134.
A Natural Deduction Relevance Logic.Frederic Johnson - 1977 - Bulletin of the Section of Logic 6 (4):164-168.

Analytics

Added to PP
2016-09-21

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Does Logic Have a History at All?Jens Lemanski - forthcoming - Foundations of Science:1-23.
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.
The Calculus of Natural Calculation.René Gazzari - 2021 - Studia Logica 109 (6):1375-1411.
Teaching the PARC System of Natural Deduction.Daryl Close - 2015 - American Association of Philosophy Teachers Studies in Pedagogy 1:201-218.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references