Popov, V. M. “On the Logics Related to A. Arruda’s System V1”. Logic and Logical Philosophy, vol. 7, no. 7, Jan. 2004, pp. 87-90, doi:10.12775/LLP.1999.007.