Deduction Theorems for Relevant Logics

Mathematical Logic Quarterly 19 (3‐6):85-92 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

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

Through your library

Similar books and articles

Deduction theorems for weak implicational logics.M. W. Bunder - 1982 - Studia Logica 41 (2-3):95 - 108.
Relational proof system for relevant logics.Ewa Orlowska - 1992 - Journal of Symbolic Logic 57 (4):1425-1440.
Rules in relevant logic - I: Semantic classification.Ross T. Brady - 1994 - Journal of Philosophical Logic 23 (2):111 - 137.
Algebraic aspects of deduction theorems.Janusz Czelakowski - 1985 - Studia Logica 44 (4):369 - 387.
Note on Deduction Theorems in contraction‐free logics.Karel Chvalovský & Petr Cintula - 2012 - Mathematical Logic Quarterly 58 (3):236-243.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Deduction theorems for RM and its extensions.Marek Tokarz - 1979 - Studia Logica 38 (2):105 - 111.
Some Metacomplete Relevant Modal Logics.Takahiro Seki - 2013 - Studia Logica 101 (5):1115-1141.
Deduction Theorems for T, E and R Reconsidered.Aleksandar Kron - 1976 - Mathematical Logic Quarterly 22 (1):261-264.
Four relevant Gentzen systems.Steve Giambrone & Aleksandar Kron - 1987 - Studia Logica 46 (1):55 - 71.
Indirect-deduction theorems.S. J. Surma - 1967 - Studia Logica 20 (1):164-166.
The Systems of Relevance Logic.Ryszard Mirek - 2011 - Argument: Biannual Philosophical Journal 1 (1):87-102.
Relevant deduction.Gerhard Schurz - 1991 - Erkenntnis 35 (1-3):391 - 437.

Analytics

Added to PP
2013-11-24

Downloads
14 (#846,877)

6 months
1 (#1,042,085)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Rules in relevant logic - I: Semantic classification.Ross T. Brady - 1994 - Journal of Philosophical Logic 23 (2):111 - 137.

Add more citations

References found in this work

The pure calculus of entailment.Alan Ross Anderson & Nuel D. Belnap - 1962 - Journal of Symbolic Logic 27 (1):19-52.
Intensional models for first degree formulas.Nuel D. Belnap - 1967 - Journal of Symbolic Logic 32 (1):1-22.

Add more references