1 problem

Let $\mathsf{S}=\mathsf{S}_{\to,\land,\lor}$ be semilattice relevant logic in the signature $\{\to,\land,\lor\}$. Its decision problem asks whether there is an algorithm deciding,…