Relevance Logic: Problems Open and Closed

  • Alasdair Urquhart University of Toronto

Abstract

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.
Published
2016-01-22
How to Cite
URQUHART, Alasdair. Relevance Logic: Problems Open and Closed. The Australasian Journal of Logic, [S.l.], v. 13, n. 1, jan. 2016. ISSN 1448-5052. Available at: <https://ojs.victoria.ac.nz/ajl/article/view/3926>. Date accessed: 23 may 2019. doi: https://doi.org/10.26686/ajl.v13i1.3926.