The gentzenization and decidability of RW

Journal of Philosophical Logic 19 (1):35 - 73 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00211185

Links

PhilArchive



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

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

Gentzenization and decidability of some contraction-less relevant logics.Ross T. Brady - 1991 - Journal of Philosophical Logic 20 (1):97 - 117.
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.
Adding involution to residuated structures.Nikolaos Galatos & James G. Raftery - 2004 - Studia Logica 77 (2):181 - 207.
TW+ and RW+ are decidable.Steve Giambrone - 1985 - Journal of Philosophical Logic 14 (3):235 - 254.
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..
Aristotle's Logic of Education (New Perspectives in Philosophical Scholarship: Texts and Issues, Vol. 19)(RW Bauman).J. R. Muir - 1999 - Educational Philosophy and Theory 31:251-253.
A normal modal calculus between T and s4 without the finite model property.David Makinson - 1969 - Journal of Symbolic Logic 34 (1):35-38.
The Decidability of the Class and the Axiom of Foundation.Dorella Bellè & Franco Parlamento - 2001 - Notre Dame Journal of Formal Logic 42 (1):41-53.
Decidability and the finite model property.Alasdair Urquhart - 1981 - Journal of Philosophical Logic 10 (3):367 - 370.
On semilattice relevant logics.Ryo Kashima - 2003 - Mathematical Logic Quarterly 49 (4):401.

Analytics

Added to PP
2009-01-28

Downloads
29 (#569,467)

6 months
12 (#243,143)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Deep Fried Logic.Shay Allen Logan - 2020 - Erkenntnis 87 (1):257-286.
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.
Relevant implication and the case for a weaker logic.Ross T. Brady - 1996 - Journal of Philosophical Logic 25 (2):151 - 183.

View all 21 citations / Add more citations

References found in this work

Universal Logic.Ross Brady - 2006 - CSLI Publications.
Investigations into Logical Deduction.Gerhard Gentzen - 1964 - American Philosophical Quarterly 1 (4):288 - 306.
Display logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.
Universal Logic.Ross Brady - 2006 - Bulletin of Symbolic Logic 13 (4):544-547.
Universal Logic.Ross Brady - 2007 - Studia Logica 87 (2-3):359-362.

View all 10 references / Add more references