TW+ and RW+ are decidable

Journal of Philosophical Logic 14 (3):235 - 254 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00249365

Links

PhilArchive



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

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

Four relevant Gentzen systems.Steve Giambrone & Aleksandar Kron - 1987 - Studia Logica 46 (1):55 - 71.
On semilattice relevant logics.Ryo Kashima - 2003 - Mathematical Logic Quarterly 49 (4):401.
The gentzenization and decidability of RW.Ross T. Brady - 1990 - Journal of Philosophical Logic 19 (1):35 - 73.
Adding involution to residuated structures.Nikolaos Galatos & James G. Raftery - 2004 - Studia Logica 77 (2):181 - 207.
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.
Completeness and conservative extension results for some Boolean relevant logics.Steve Giambrone & Robert K. Meyer - 1989 - Studia Logica 48 (1):1 - 14.
The decidable normal modal logics are not recursively enumerable.M. J. Cresswell - 1985 - Journal of Philosophical Logic 14 (3):231 - 233.
A cut-free sequent calculus for relevant logic RW.M. Ili & B. Bori I. - 2014 - Logic Journal of the IGPL 22 (4):673-695.
An alternative Gentzenisation of RW+∘.Mirjana Ilić - 2016 - Mathematical Logic Quarterly 62 (6):465-480.
Sharples, RW-Stoics, Epicureans and Sceptics.J. C. A. Gaskin - 1998 - Philosophical Books 39:240-240.

Analytics

Added to PP
2009-01-28

Downloads
7 (#1,413,139)

6 months
61 (#83,400)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A general logic.John Slaney - 1990 - Australasian Journal of Philosophy 68 (1):74 – 88.
The gentzenization and decidability of RW.Ross T. Brady - 1990 - Journal of Philosophical Logic 19 (1):35 - 73.

View all 21 citations / Add more citations

References found in this work

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.
The undecidability of entailment and relevant implication.Alasdair Urquhart - 1984 - Journal of Symbolic Logic 49 (4):1059-1073.
Solution to the P − W problem.E. P. Martin & R. K. Meyer - 1982 - Journal of Symbolic Logic 47 (4):869-887.

Add more references