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.

Downloads

Download data is not yet available.
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: 24 jan. 2020. doi: https://doi.org/10.26686/ajl.v13i1.3926.