Another Variant of Natural Deduction

Journal of Symbolic Logic 22 (3):298-299 (1957)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963612

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

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

Another variant of natural deduction.Irving M. Copi - 1956 - Journal of Symbolic Logic 21 (1):52-55.
Copi Irving M.. Another variant of natural deduction.Paul Bernays - 1957 - Journal of Symbolic Logic 22 (3):298-299.
Review: Irving M. Copi, Another Variant of Natural Deduction. [REVIEW]Paul Bernays - 1957 - Journal of Symbolic Logic 22 (3):298-299.
On Quine's Approach to Natural Deduction'.Carlo Cellucci - 1995 - In Paolo Leonardi & Marco Santambrogio (eds.), On Quine: New Essays. Cambridge University Press. pp. 314--335.
Forty Years of “Unnatural‘ Natural Deduction and Quantification: A History of First-Order Systems of Natural Deduction from Gentzen, to Copi.Irving Anellis - 1991 - Modern Logic 2:113.
Natural Deduction.Andrzej Indrzejczak - 2015
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.
A natural deduction variant of systems T, S4, S5, and the browerian system.R. W. Beard - 1973 - Logique Et Analyse 16 (63):311.
Comments on a variant form of natural deduction.William Tuthill Parry - 1965 - Journal of Symbolic Logic 30 (2):119-122.
Comments on a Variant Form of Natural Deduction.William Tuthill Parry - 1966 - Journal of Symbolic Logic 31 (2):286-286.
From Axiomatic Logic to Natural Deduction.Jan von Plato - 2014 - Studia Logica 102 (6):1167-1184.
Proof-Theoretic Semantics, Self-Contradiction, and the Format of Deductive Reasoning.Peter Schroeder-Heister - 2012 - Topoi 31 (1):77-85.
Variable declarations in natural deduction.Daniel J. Velleman - 2006 - Annals of Pure and Applied Logic 144 (1-3):133-146.
Sequent calculus in natural deduction style.Sara Negri & Jan von Plato - 2001 - Journal of Symbolic Logic 66 (4):1803-1816.
Sequent Calculus in Natural Deduction Style.Sara Negri & Jan von Plato - 2001 - Journal of Symbolic Logic 66 (4):1803-1816.

Analytics

Added to PP
2017-02-21

Downloads
8 (#1,249,165)

6 months
3 (#902,269)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.

Add more citations

References found in this work

No references found.

Add more references