Deduction Theorems for T, E and R Reconsidered

Mathematical Logic Quarterly 22 (1):261-264 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19760220135

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

Deduction Theorems for Relevant Logics.Aleksandar Kron - 1973 - Mathematical Logic Quarterly 19 (3‐6):85-92.
Indirect-deduction theorems.S. J. Surma - 1967 - Studia Logica 20 (1):164-166.
Algebraic aspects of deduction theorems.Janusz Czelakowski - 1985 - Studia Logica 44 (4):369 - 387.
Local deductions theorems.Janusz Czelakowski - 1986 - Studia Logica 45 (4):377 - 391.
Deduction theorems for weak implicational logics.M. W. Bunder - 1982 - Studia Logica 41 (2-3):95 - 108.
The strong proof from hypotheses and conditionals: Some theorems of deduction for relevant systems.E. A. Sidorenko - 1983 - Studia Logica 42 (2-3):165 - 171.
Deduction theorems for RM and its extensions.Marek Tokarz - 1979 - Studia Logica 38 (2):105 - 111.
Paraconsistent conjectural deduction based on logical entropy measures I: C-systems as non-standard inference framework.Paola Forcheri & Paolo Gentilini - 2005 - Journal of Applied Non-Classical Logics 15 (3):285-319.
Note on Deduction Theorems in contraction‐free logics.Karel Chvalovský & Petr Cintula - 2012 - Mathematical Logic Quarterly 58 (3):236-243.
Aristotle'S natural deduction reconsidered.John M. Martin - 1997 - History and Philosophy of Logic 18 (1):1-15.
Theorems on deduction for descending implications.S. J. Surma - 1968 - Studia Logica 22 (1):78-80.
Deduction theorems in significance logics.M. W. Bunder - 1979 - Notre Dame Journal of Formal Logic 20 (3):695-700.
Two separation theorems for natural deduction.Hugues Leblanc - 1966 - Notre Dame Journal of Formal Logic 7 (2):159-180.

Analytics

Added to PP
2013-11-24

Downloads
13 (#978,482)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references