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)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19730190306

Other Versions

reprint Kron, Aleksandar (2006) "Deduction Theorems for Relevant Logics". Mathematical Logic Quarterly 19(3‐6):85-92

Links

PhilArchive

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

Note on Deduction Theorems in contraction‐free logics.Karel Chvalovský & Petr Cintula - 2012 - Mathematical Logic Quarterly 58 (3):236-243.
Deduction Theorems for T, E and R Reconsidered.Aleksandar Kron - 1976 - Mathematical Logic Quarterly 22 (1):261-264.
Completeness Theorems for Temporal Logics TΩ and □TΩ.Hiroya Kawai - 1988 - Mathematical Logic Quarterly 34 (5):393-398.
Deduction theorems for weak implicational logics.M. W. Bunder - 1982 - Studia Logica 41 (2-3):95-108.
Barwise Completeness Theorems for Some Biprobability Logics.M. Rašković & R. Živaljević - 1986 - Mathematical Logic Quarterly 32 (7‐9):133-135.
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.
Rules in relevant logic - I: Semantic classification.Ross T. Brady - 1994 - Journal of Philosophical Logic 23 (2):111-137.
Deduction theorems in significance logics.M. W. Bunder - 1979 - Notre Dame Journal of Formal Logic 20 (3):695-700.
Relational proof system for relevant logics.Ewa Orlowska - 1992 - Journal of Symbolic Logic 57 (4):1425-1440.
On Some Completeness Theorems in Modal Logic.D. Makinson - 1966 - Mathematical Logic Quarterly 12 (1):379-384.

Analytics

Added to PP
2013-11-24

Downloads
118 (#399,331)

6 months
33 (#271,715)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Simplified Semantics for Further Relevant Logics I.Tore Fjetland Øgaard - 2025 - Logic and Logical Philosophy 34 (1):109-151.
An Inquiry into the Logic subDLQ.Tore Fjetland Øgaard - 2026 - Journal of Philosophical Logic 55 (3):555-580.
Rules in relevant logic - I: Semantic classification.Ross T. Brady - 1994 - Journal of Philosophical Logic 23 (2):111-137.

View all 7 citations / 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