Journal of Philosophical Logic 27 (2):179-216 (1998)

Authors
Greg Restall
University of Melbourne
Abstract
Many logics in the relevant family can be given a proof theory in the style of Belnap's display logic. However, as originally given, the proof theory is essentially more expressive than the logics they seek to model. In this paper, we consider a modified proof theory which more closely models relevant logics. In addition, we use this proof theory to show decidability for a large range of substructural logics.
Keywords Philosophy
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1017998605966
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,291
Through your library

References found in this work BETA

Display Logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.
Gupta's Rule of Revision Theory of Truth.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (1):103-116.
Simplified Semantics for Relevant Logics (and Some of Their Rivals).Greg Restall - 1993 - Journal of Philosophical Logic 22 (5):481 - 511.

View all 11 references / Add more references

Citations of this work BETA

Recent Work in Relevant Logic.Mark Jago - 2013 - Analysis 73 (3):526-541.
Substructural Negations.Takuro Onishi - 2015 - Australasian Journal of Logic 12 (4).

View all 14 citations / Add more citations

Similar books and articles

Substructural Logics.Greg Restall - forthcoming - Stanford Encyclopedia of Philosophy.
Kripke Semantics for Modal Substructural Logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Meeting Strength in Substructural Logics.Yde Venema - 1995 - Studia Logica 54 (1):3 - 32.
Labelled Non-Classical Logics.Luca Viganò - 2000 - Boston, MA, USA: Kluwer Academic Publishers.
Subintuitionistic Logics.Greg Restall - 1994 - Notre Dame Journal of Formal Logic 35 (1):116-129.

Analytics

Added to PP index
2009-01-28

Total views
140 ( #77,274 of 2,456,041 )

Recent downloads (6 months)
1 ( #449,366 of 2,456,041 )

How can I increase my downloads?

Downloads

My notes