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