Relevance Logic: Problems Open and Closed

Alasdair Urquhart


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.

Full Text:



  • There are currently no refbacks.