Relevance Logic: Problems Open and Closed
Alasdair Urquhart · The Australasian Journal of Logic · 2016
I discuss a collection of problems in relevance logic. The main problems discussed are: the decidability of the positive semilattice system, decidability of the fragments of R in a restricted number of variables, and the complexity of the decision problem for the implicational fragment of R. Some related problems are discussed along the way.