A deduction theorem for restricted generality

Notre Dame Journal of Formal Logic 14 (3):341-346 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093890997

Links

PhilArchive



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

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

Some notes on: "A deduction theorem for restricted generality".M. W. Bunder - 1976 - Notre Dame Journal of Formal Logic 17 (1):153-154.
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.
Rules in relevant logic — II: Formula representation.Ross T. Brady - 1993 - Studia Logica 52 (4):565 - 585.
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.
The deduction theorem for quantum logic—some negative results.Jacek Malinowski - 1990 - Journal of Symbolic Logic 55 (2):615-625.
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.
A deduction theorem schema for deductive systems of propositional logics.Janusz Czelakowski & Wies?aw Dziobiak - 1991 - Studia Logica 50 (3-4):385 - 390.
First-order multi-modal deduction.Matthew Stone - unknown

Analytics

Added to PP
2010-08-24

Downloads
32 (#471,613)

6 months
7 (#339,156)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Some Inconsistencies in Illative Combinatory Logic.M. W. Bunder - 1974 - Mathematical Logic Quarterly 20 (13‐18):199-201.
Some Inconsistencies in Illative Combinatory Logic.M. W. Bunder - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (13-18):199-201.

Add more citations

References found in this work

No references found.

Add more references