Inferential Equivalence and Natural Deduction

Journal of Symbolic Logic 35 (2):325-325 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270537

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,923

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

Inferential equivalence and natural deduction.H. Hiż - 1957 - Journal of Symbolic Logic 22 (3):237-240.
Review: H. Hiz, Inferential Equivalence and Natural Deduction. [REVIEW]Henry W. Johnstone - 1970 - Journal of Symbolic Logic 35 (2):325-325.
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.
What’s the Point of Complete Rigour?A. C. Paseau - 2016 - Mind 125 (497):177-207.
Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different.Allen P. Hazen & Francis Jeffry Pelletier - 2014 - Studia Logica 102 (6):1103-1142.
Natural Deduction.Andrzej Indrzejczak - 2015
Natural Semantics: Why Natural Deduction is Intuitionistic.James W. Garson - 2001 - Theoria 67 (2):114-139.
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.
From Axiomatic Logic to Natural Deduction.Jan von Plato - 2014 - Studia Logica 102 (6):1167-1184.
Variable declarations in natural deduction.Daniel J. Velleman - 2006 - Annals of Pure and Applied Logic 144 (1-3):133-146.
Natural Deduction and Weak Normalization for Full Linear Logic.Lilia Martins & Ana Martins - 2004 - Logic Journal of the IGPL 12 (6):601-625.
Analogical Deduction via a Calculus of Predicables.Joseph P. Li Vecchi - 2010 - Philo 13 (1):53-66.
Sequent calculus in natural deduction style.Sara Negri & Jan von Plato - 2001 - Journal of Symbolic Logic 66 (4):1803-1816.
Aristotle on Deduction and Inferential Necessity.Jean-Louis Hudry - 2013 - Review of Metaphysics 67 (1):29-54.
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
6 (#1,481,650)

6 months
2 (#1,255,269)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references