J. M. Méndez, “A Routley-Meyer semantics for Ackermann’s logics of ‘strenge implication’”, LLP, vol. 18, no. 3-4, pp. 191–219, Mar. 2010.