Gentzenization and decidability of some contraction-less relevant logics

Journal of Philosophical Logic 20 (1):97-117 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00454743

Other Versions

No versions found

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

Richard Routley with Val Plumwood, Robert K. Meyer, and Ross T. Brady. Relevant logics and their rivals. Part I. The basic philosophical and semantical theory. Ridgeview Publishing Company, Atascadero, Calif., 1982, xv + 460 pp.Richard Routley, Val Plumwood, Robert K. Meyer & Ross T. Brady - 1989 - Journal of Symbolic Logic 54 (1):293-296.
An alternative Gentzenisation of RW+∘.Mirjana Ilić - 2016 - Mathematical Logic Quarterly 62 (6):465-480.
Simple gentzenizations for the formal formulae of contraction-less logics.Ross T. Brady - 1996 - Journal of Symbolic Logic 61 (4):1321-1346.
A note on an alternative Gentzenization of RW+∘.Mirjana Ilić - 2021 - Mathematical Logic Quarterly 67 (2):186-192.
Relevant logics and their rivals, Volume II, A continuation of the work of Richard Sylvan, Robert Meyer, Val Plumwood and Ross Brady, edited by Ross Brady, with contributions by Martin Bunder, André Fuhrmann, Andréa Loparić, Edwin Mares, Chris Mortensen and Alasdair Urquhart. Western Philosophy Series, vol. 59. Aldershot, Ashgate, 2003, xiv + 425 pp.Nicholas Griffin - 2005 - Bulletin of Symbolic Logic 11 (1):70-72.
Translations between linear and tree natural deduction systems for relevant logics.Shawn Standefer - 2021 - Review of Symbolic Logic 14 (2):285 - 306.
The gentzenization and decidability of RW.Ross T. Brady - 1990 - Journal of Philosophical Logic 19 (1):35-73.
Completeness and conservative extension results for some Boolean relevant logics.Steve Giambrone & Robert K. Meyer - 1989 - Studia Logica 48 (1):1 - 14.
V. 2. A continuation of the work of Richard Sylvan, Robert Meyer, Val Plumwood, and Ross Brady.Ross Brady & Contributions by Martin Bunder [ - 1982 - In Richard Sylvan & Ross Brady, Relevant logics and their rivals. Atascadero, CA: Ridgeview Pub. Co..
Relevant predication: Grammatical characterisations. [REVIEW]Philip Kremer - 1989 - Journal of Philosophical Logic 18 (4):349 - 382.

Analytics

Added to PP
2009-01-28

Downloads
90 (#600,502)

6 months
6 (#1,535,366)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Some Concerns Regarding Ternary-relation Semantics and Truth-theoretic Semantics in General.Ross T. Brady - 2017 - IfCoLog Journal of Logics and Their Applications 4 (3):755--781.
Gentzenizations of relevant logics with distribution.Ross T. Brady - 1996 - Journal of Symbolic Logic 61 (2):402-420.

View all 17 citations / Add more citations

References found in this work

A general logic.John Slaney - 1990 - Australasian Journal of Philosophy 68 (1):74 – 88.
The simple consistency of a set theory based on the logic ${\rm CSQ}$.Ross T. Brady - 1983 - Notre Dame Journal of Formal Logic 24 (4):431-449.

View all 8 references / Add more references