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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

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

Review: Richard Routley, Val Plumwood, Robert K. Meyer, Ross T. Brady, Relevant Logics and their Rivals. Part I. The Basic Philosophical and Semantical Theory. [REVIEW]Daniel H. Cohen - 1989 - Journal of Symbolic Logic 54 (1):293-296.
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. [REVIEW]Daniel H. Cohen - 1989 - Journal of Symbolic Logic 54 (1):293-296.
The gentzenization and decidability of RW.Ross T. Brady - 1990 - Journal of Philosophical Logic 19 (1):35 - 73.
Simple Gentzenizations for the normal formulae of contraction-less logics.Ross T. Brady - 1996 - Journal of Symbolic Logic 61 (4):1321-1346.
Simple gentzenizations for the formal formulae of contraction-less logics.Ross T. Brady - 1996 - Journal of Symbolic Logic 61 (4):1321-1346.
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. [REVIEW]Nicholas Griffin - 2005 - Bulletin of Symbolic Logic 11 (1):70-72.
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 (eds.), Relevant Logics and Their Rivals. Ridgeview Pub. Co..
A note on an alternative Gentzenization of RW+∘.Mirjana Ilić - 2021 - Mathematical Logic Quarterly 67 (2):186-192.
Translations between linear and tree natural deduction systems for relevant logics.Shawn Standefer - 2021 - Review of Symbolic Logic 14 (2):285 - 306.
On n -contractive fuzzy logics.Rostislav Horčík, Carles Noguera & Milan Petrík - 2007 - Mathematical Logic Quarterly 53 (3):268-288.

Analytics

Added to PP
2009-01-28

Downloads
37 (#444,844)

6 months
11 (#271,859)

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.
Rules in relevant logic - I: Semantic classification.Ross T. Brady - 1994 - Journal of Philosophical Logic 23 (2):111 - 137.

View all 16 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.
Curry's paradox.Robert K. Meyer & Alonso Church - 1979 - Analysis 39 (3):124-128.

View all 9 references / Add more references