•  54
    Nelson’s logic ????
    with Umberto Rivieccio, João Marcos, and Matthew Spinks
    Logic Journal of the IGPL 28 (6): 1182-1206. 2020.
    Besides the better-known Nelson logic and paraconsistent Nelson logic, in 1959 David Nelson introduced, with motivations of realizability and constructibility, a logic called $\mathcal{S}$. The logic $\mathcal{S}$ was originally presented by means of a calculus with infinitely many rule schemata and no semantics. We look here at the propositional fragment of $\mathcal{S}$, showing that it is algebraizable, in the sense of Blok and Pigozzi, with respect to a variety of three-potent involutive res…Read more