Some notes on: "A deduction theorem for restricted generality"

Notre Dame Journal of Formal Logic 17 (1):153-154 (1976)

Abstract

This article has no associated abstract. (fix it)

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,855

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2010-08-24

Downloads
13 (#776,298)

6 months
7 (#101,828)

Historical graph of downloads
How can I increase my downloads?

References found in this work

No references found.

Add more references

Citations of this work

No citations found.

Add more citations

Similar books and articles

A Deduction Theorem for Restricted Generality.M. W. Bunder - 1973 - Notre Dame Journal of Formal Logic 14 (3):341-346.
Deduction Theorems for Weak Implicational Logics.M. W. Bunder - 1982 - Studia Logica 41 (2-3):95 - 108.
Local Deductions Theorems.Janusz Czelakowski - 1986 - Studia Logica 45 (4):377 - 391.
Generalized Restricted Generality.M. W. Bunder - 1979 - Notre Dame Journal of Formal Logic 20 (3):620-624.
Introduction.Agustin Rayo & Gabriel Uzquiano - 2006 - In Agustin Rayo & Gabriel Uzquiano (eds.), Absolute Generality. Oxford University Press.
Algebraic Aspects of Deduction Theorems.Janusz Czelakowski - 1985 - Studia Logica 44 (4):369 - 387.
Harmonising Natural Deduction.Hartley Slater - 2008 - Synthese 163 (2):187 - 198.
“The Strict Deduction System Is Impossible to Derive the Contradiction” And the Proof.Fang-wen Yuan - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:147-162.
Alternative Forms of Propositional Calculus for a Given Deduction Theorem.M. W. Bunder - 1979 - Notre Dame Journal of Formal Logic 20 (3):613-619.