Wednesday, April 1 2020, 08:44 am
arXiv:1803.10851v2 [math.LO] 21 Sep 2019

arXiv:1803.10851v2 [math.LO] 21 Sep 2019

to recent results of M. Spinks and R. Veroff, N4 can now be viewed as a member of the family of relevance logics; indeed, N4 can be presented,to within definitional equivalence,as an axiomatic strengtheningof the contraction-free relevant logic RW (see [39] for a summary of this work).