A decidable positive relevance logic


Aleksandar Kron




In this paper we define a positive relevance logic $\mathbf{T'W_+}$ and we show that it is decidable.