Popov, V. M. (2004). On the logics related to A. Arruda’s system V1. Logic and Logical Philosophy, 7(7), 87–90. https://doi.org/10.12775/LLP.1999.007