C. A. Lázaro, H. de A. Feitosa, and M. R. Soares, “Logic, order and implicative systems”, Veritas, vol. 64, no. 3, p. e32214, Dec. 2019.